fix(fault-proof): robustness follow-ups to #865 + cost-estimator parity#894

seolaoh wants to merge 4 commits into

succinctlabs:mainsuccinctlabs/op-succinct:mainfrom

celo-org:seolaoh/fault-proof-robustness-followupscelo-org/op-succinct:seolaoh/fault-proof-robustness-followupsCopy head branch name to clipboard