ci: Add more codeowners to specs

* op-node: remove p2p sequencer addr rollup config value, load during startup from L1

* op-node: use trie.VerifyProof instead of trie.Trie.TryGet
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

specs: Document starting timestamp and block num vars

Failed devnet jobs will now dump op-node, op-geth, batcher, proposer, and l1 logs in distinct steps in order to make debugging easier. Also disables CCI's Docker Layer Caching, which was introducing issues. The cache sometimes gets stale, leading to situations where the tested software doesn't match the source being pulled.

op-e2e: Add Large L1 gap blocktime test

TestLargeL1Gaps tests the case that there is a gap between two L1 blocks
which is larger than the sequencer drift.
This test has the following parameters:
L1 Block time: 4s. L2 Block time: 2s. Sequencer Drift: 32s

It generates 8 L1 blocks & 16 L2 blocks.
Then generates an L1 block that has a time delta of 48s.
It then generates the 24 L2 blocks.
Then it generates 3 more L1 blocks.
At this point it can verify that the batches where properly generated.
Note: It batches submits when possible.

[op-batcher / op-proposer] Provide context to signer function

ctb: Document starting timestamp and block num vars

Adds a new "setup" tag to deploy steps that can be executed ahead of
the Bedrock migration. Runs everything except the SystemDictator steps.

This caused unnecessary build errors.

ctb: Live migration utilities

specs: Update links

op-batcher/op-proposer: New package structure

op-e2e: action test conflicting sequencers

Adds some utilities to make it easier to perform a live migration:

- If a live deployer isn't configured, the SystemDictator will populate transactions for each step and output a JSON containing the transaction's `to`, `data`, `value`, and `chainId` fields. This gives us the opportunity to simulate these transactions prior to executing them, and makes it easier to generate multisignature transactions.
- The dynamic oracle config step requires user input. To make this easier, I added a Hardhat task that configures the dynamic oracle config. It operates in two modes. In send mode it will send the transaction directly. This is useful for the Goerli migration. In no send mode it outputs the raw transaction hex for simulation/multisig purposes. The task will confirm all input before sending any transactions.

tdocs: Update ToB invariants report to final version

Note: After the go module bump I can remove the replace statement here.

This places most of the files into a single folder.