WIP: E2E ZK Validity Proofs

[zobront]

This is a WIP PR that will contain the minimal diff needed to get an OP Stack deployed that supports full ZK validity proofs.

This will be built using the OptimismPortal (V1) contract, which relies on the L2OutputOracle, which will be adapted to support ZK.

Contract Todos

• Update L2OutputOracle to use ZK
• upgrade deploy scripts and config to work with ZK
• write test for zk L2 root proposal passing
• make delta between proven blocks variable to account for span batches
• Generate initial output root from Genesis file rather than config
• Get all old tests passing with clean abstractions

Proposer Todos

• update op-proposer to submit proofs
• make sure op-proposer checkpoints blockhash before submitting
• Generate the new ABI and bindings for the ZKL2OO. Should be able to use make op-bindings to generate once we have contracts finalized.
• Update FetchNextOutputInfo to wait for completed span batch
• Process for running against a kona-sp1 zkvm_host binary
• Generate the SP1 proof

E2E Todos

• Testing
• Run through tutorial to run local testnet with this

[zobront]

Closing this PR as it'll be cleaner to keep the proposer and contract work separate until we're ready to merge.