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

fakedev9999 wants to merge 7 commits into

mainsuccinctlabs/op-succinct:mainfrom

pr-894-followupssuccinctlabs/op-succinct:pr-894-followupsCopy head branch name to clipboard