Add progressive depth-halving policy to Prover.advance_proof#4925

Stevengre wants to merge 1 commit into

runtimeverification:masterruntimeverification/k:masterfrom

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