Add bounded final-answer acceptance gate in regular runner#311

mmprotest wants to merge 3 commits into

mainmmprotest/villani-code:mainfrom

mmprotest/add-finalization-gate-to-runnermmprotest/villani-code:mmprotest/add-finalization-gate-to-runnerCopy head branch name to clipboard