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

Stevengre wants to merge 14 commits into

masterStevengre/k:masterfrom

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