forkchoice: skip STARK aggregate verify on proofs the filler just produced#679

tcoratger wants to merge 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:forkchoice-skip-stark-verify-on-fresh-proofstcoratger/leanSpec:forkchoice-skip-stark-verify-on-fresh-proofsCopy head branch name to clipboard