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

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

fix(ctb): Update hardhat.json to fix hh deploy

op-batcher: Shutdown pprof and metrics after main loop returns