contracts-bedrock: remove legacy fee vault spacer

contracts-bedrock: check-l2 checks for genesis magic

contracts-bedrock: remove storage spacers gpo

feat(ops): clean up migration process

fix: don't cancel context before passing to signer

tests(ctb): Add invariant test for `minGasLimit`s in the L1 XDM's `relayMessage` fn

- Don't exit early from iterators
- Check against an explicit mapping between storage slots and their values
- Add explicit checks for values in the L1Block contract
- Set GasUsed to zero in transition

Removes the storage spacers for the `GasPriceOracle`
since the migration will be wiping the storage layout.

Must be merged with https://github.com/ethereum-optimism/optimism/pull/4605

The fee values were stored in the `GasPriceOracle` predeploy
before the bedrock upgrade. Afterwards they are in the `L1Block`
contract. This simplifies the `GasPriceOracle`.

Removes the spacer in the `SequencerFeeVault` that is
no longer needed since the storage is being wiped
as part of the migration to bedrock.

Should be merged with https://github.com/ethereum-optimism/optimism/pull/4605

* Begin simple invariant docgen script

* Support Echidna tests in invariant docgen

* Use custom natspec tags for invariant doc comments

* Handle multi-line headers for linting purposes

* Restack

* Upstack

* New doc

* New doc

* Add test file name to link in docgen script

* Relative URL path

* Use `path.join`

* Add task to `contracts-bedrock` workflow to check diff of `invariant-docs`

* Generate a table of contents for invariant docs

sdk: allow `deposit-eth` task to work with artifacts

This allows the script to be able to be used with
test networks more easily.

Usage:

```bash
export L1_RPC=...
export PRIVATE_KEY_DEPLOYER=0x...

npx hardhat deposit-eth \
    --l2-provider-url ... \
    --to 0x9C822C992b56A3bd35d16A089d99AEc870eF8d37 \
    --amount 0.0001 \
    --network final-migration-rehearsal
```

The following transactions were created using this commit
on the `final-migration-rehearsal` network:

L1 Deposit Transaction hash: 0x23f42a9d18b41bd32d90026b2324dbab64a45e942fe3897dd67a56989b940e11

L2 Withdrawing Transaction hash: 0x5b1108b61b7ec97f99c3c5c312913d465e87feaec2ab805087be55d342d5e17d

L1 Proving Withdrawal Transaction hash: 0xfe8c8beae69bdca1af35f04cfa635ea7d959abf0270f082a4ab41d680d7fe35b

L1 Finalizing Withdrawal Transaction hash: 0xcab6550b4a388e0c6fbb4b3e1604b42e2ca228aed8c5a1a8601e596f4a939e56

Update glossary.md

fixed a few typos

Cleans up the migration process so that it matches with the state
surgery specification. Adds a significant number of very pedantic
comments.

Update glossary.md

ci: Reduce block time in devnet tests

ci: Temporarily disable parallel e2e tests

ci: Make CodeCov checks informational

Disables parallel test execution so we can get to the bottom of the withdrawal test's fflakiness.

CodeCov needs some additional configuration to be useful with the monorepo. Setting checks to informational will prevent them from failing the build until we get CodeCov working properly.

op-node: Add default boot nodes