Breaks out the FreshSystemDictator execution steps into a separate
deployment stage and adds new post-deploy checks. Also fixes a bug in
the L1CrossDomainMessenger initializer that only impacted fresh
deployments.

fix(ctb): remove AddressManager from config

Removes AddressManager from deploy config, not necessary since we can
just pull it from the deployments folder.

feat(ctb): use SCREAMING_SNAKE_CASE for immutables

Makes sure we use SCREAMING_SNAKE_CASE for immutables everywhere. Adds
legacy getters where necessary.

* feat(ctb): introduce layout lock

Introduces layout-lock.json which describes specific variables that
should exist in specific contracts. Keeps the same logic that will also
check that these variables are in the correct positions.

* bindings

* lint
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

* contracts-bedrock: new predeploys

* op-bindings: regenerate

* op-chain-ops: update to handle new predeploys

* op-e2e: configure correct addresses

* specs: add new predeploys

* contracts-bedrock: lint

* contracts-bedrock: update tests

* contracts-bedrock: updated storage layout

* bindings: regenerate

* op-bindings: delete dead bindings

* contracts-bedrock: add in spacer

* op-bindings: regenerate

* contracts-bedrock: cleanup

* contracts-bedrock: review fixes

* Update packages/contracts-bedrock/contracts/universal/FeeVault.sol
Co-authored-by: Maurelian <maurelian@protonmail.ch>

* bindings

* contracts-bedrock: regenerate snapshot
Co-authored-by: Maurelian <maurelian@protonmail.ch>
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

Updates the function ordering for the ProxyAdmin contract to match the
function ordering of the original ProxyAdmin by OZ. I think this makes
the contract much more readable.

This splits the `loadBlocksIntoState` function into several different
functions. It now mostly handles L2 reorgs as well.

Updates Mergify rules to support speculative checks. This will allow Mergify to speculatively run checks against multiple queued PRs at once, and reduce the maount of time we spend waiting for PRs to get merged in the queue.

Also removes the changeset nag, and updates the messaging around Mergify queue failures.

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* op-proposer: cleanup proposer logic, update outputAtBlock API

* op-e2e,op-proposer: action test proposer

* fix flags
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

docs: Add a couple more audit reports

fix(ctb): clear remaining lint warnings

Clears remaining contracts-bedrock lint warnings.

fix(ctb): broken devnet tests

* ctb, testmig: Add migration test script, migration dictator cleanups

Adds a Python script to test the migration end-to-end. Currently, it will:

1. Download a DTL and L2Geth archive from GCS
2. Spin up a forked L1
3. Set state slots so that the deployer owns the legacy system
4. Perform the migration

Also includes some fixes to make the migration dictator work, there were a couple of small changes that still needed to be implemented.

* bindings: regenerate

* update deploy configs

* bindingz

This is a wrapper on top of the transaction manger. It does simple nonce management
and provides a nice interface to the underlying transaction manager.

op-batcher: Split up main loop

* bedrock: make fee recipient be SequencerFeeVault

The fee recipient or `block.coinbase` is now set to a hardcoded
value of the predeploy `SequencerFeeVault`. This reduces configuration
that is consensus criticial.

* op-chain-ops: correct config

Fixes a bug in the fee tests

* core-utils: remove dead config field from op-node config

* contracts-bedrock: deployment files

Existing tooling expects the name of the contract to equal
the name of the deployment. The latest work that updated
the deploy files added the `Impl` suffix to contract names.

* sdk: improve erc20 deposit logs

* op-chain-ops: ether migration

Updates the migration script to also migrate
eth balances from their legacy erc20 format.
It will find the balances given the input generated
from `l2geth` and the JS package responsible for parsing
that input and then migrate the balance and delete
the balance in the erc20 contract.

It also adds some additional sanity checks to ensure
that the data is completely accounted for so that
the script cannot be ran with insufficient or malicious
inputs.

fixup

* op-chain-ops: fix linting

lint

* op-chain-ops: update go.mod

* op-chain-ops: cleanup code

* op-chain-ops: fix go mods

* op-chain-ops: pass through chain id

* op-chain-ops: properly encode nonce
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

* add account task

* add solidity and change hardhat config and index

Co-authored-by: Casper Belier <casper@blocklab.nl;casperbelier@hotmail.com>
Co-authored-by: Maurelian <maurelian@protonmail.ch>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

contracts: update docs

New docstrings were added, now the auto generated docs are updated
as well.

* Add natspec params and returns where missing

* Improved natspec

* remove space

Co-authored-by: Casper Belier <casper@blocklab.nl;casperbelier@hotmail.com>
Co-authored-by: Mark Tyneway <mark.tyneway@gmail.com>

* ci: Fail if new bedrock contract code is not 100% tested

* ci: Turn on the codecov bot

op-node: get block with sync status, make finalization more safe