op-chain-ops: sanity check gas limit

specs: DisputeGame interface + behavior

op-wheel: add --allow-gaps flag to engine block building commands

feat(specs/introduction.md): Sherlock correction

op-program: Implement wrapper methods required by derive.Engine

Closing: DEVRL-848

As per https://github.com/sherlock-audit/2023-01-optimism-judging/blob/b7921698c1c537714c5f2021aa46ce0a1935ba39/1-specs-findings/1-processed/1-true/names/214.md#L1

Prevent the `SystemConfig` to revert during deploy time by
making the default L2 gas limit be 30 million. When the L2
gas limit is too small, it can cause issues with deposits
because the deposits consume L2 gas.

Updates

toc

Address Mark's comments

op-program: Implement oracle backed engine API backend

op-batcher: Sanity check block for non-empty transactions

Adds flags to specify the l2 execution genesis and agreed l2 starting head.

op-program: Implement oracle backed database

Merge pull request #5351 from ethereum-optimism/04-04-update_Optimist_and_OptimistAllowlist_deploy_scripts

feat(ctp): add deploy script for OptimistAllowlist & Optimist

op-program: Extract block processing logic from engine api

ci: Update op-e2e

Adds separate oracle method to access code by hash to support the way Geth now adds a prefix to the hash when storing new code values in the database.

txmgr: Add more metrics

* 🤼 DisputeGame interfaces

* :broom:

:broom:

* Andreas' nits