feat(ops-bedrock): Add gateway ui to make devnet-up

Version Packages

Trigger the releases!

chore(ctp): Update ctb dep version

op-node: ComputeL2OutputRoot cleanup

Cleans up the implementation of the `ComputeL2OutputRoot`
function. No need for the intermediate `bytes.Buffer`.

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.