Introduce --step-timeout option for kprove to ensure timely termination#4930

Stevengre wants to merge 5 commits into

developruntimeverification/k:developfrom

feat/per-depth-timeout-advance-proofruntimeverification/k:feat/per-depth-timeout-advance-proofCopy head branch name to clipboard