Fault Proof VM Specs

Co-authored-by: protolambda <proto@protolambda.com>

Co-authored-by: protolambda <proto@protolambda.com>

Co-authored-by: protolambda <proto@protolambda.com>

Merge pull request #6299 from ethereum-optimism/07-14-fix_Add_missing_contract_deployments_to_contracts-bedrock

fix: Add missing contract deployments to contracts-bedrock

fix: Frame struct tag

fix(ctb): Clean up the preimage oracle

op-challenger: Only respond to claims at levels we disagree with

This is important to ensure that the challenger would not counter claims
that itself made. This also appears to fix the step transaction revert
issue.

feat(op-challenger): Proposed Output Agreement Flag

feat(ctb): Refactor PreimageOracle Interface

cannon: Allow EOF pre-image reads

More concise python

More concise
Co-authored-by: Will Cory <willcory@Wills-MacBook-Pro.local>
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

feat(docs/op-stack): Remove sequencer from `op-geth`