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

Stevengre merged 7 commits into

developruntimeverification/k:developfrom

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