This splits the docker publish job into a build & publish job. They were
previously just steps. The build step uses docker save & circle workspaces
to provide the docker images to dependent jobs (like the publish & hive jobs).

This makes one change to the hive job to remove the docker.pull=true flag. This
is because it loads the image locally but in the case of an external contributor
the image will not be published. Docker will use the local image first & then
pull other images if they are not present.

The old nightlies used a partial build (which is the purpose of
the --target flag), but they were removed in PR #3330 (commit
f772f66c).

Fix: Proper debug output for L1 CTC Address env var in l2geth-exporter

feat(ctb): no gas snapshot for fuzz tests

Use the new no-match-test option for gas snapshots to remove
differential and fuzz tests from gas snapshots. Significantly speeds up
the process of generating gas snapshots.

Update forge-std and use bound instead of vm.assume

ctb: Update Hashing tests with bounded version

ctb: Update Portal tests with bound

feat(ctb): allow owner to finalize MSD at any time

Deleted unused variables from contracts-bedrock and add changeset

Allows the owner of the MigrationSystemDictator to finalize the
deployment at any time. Finalizing the deployment will transfer
ownership of relevant contracts to the final owner.

fix(ctb): tweak addresses for MSD to wipe

fix(ctb): better XDM pause in MSD

Improves the pausing mechanism for the CrossDomainMessenger in the
MigrationSystemDictator.

* fix typo in spec

* More better words about sequencing windows
Co-authored-by: norswap <norswap@gmail.com>
Co-authored-by: Maurelian <john@optimism.io>
Co-authored-by: norswap <norswap@gmail.com>

fix(ctb): deploy file ordering

Tweaks the addresses that the MigrationSystemDictator will zero out
inside of the AddressManager. The Proxy addresses should not be deleted
since some external services may rely on them as part of the current
system. The BondManager should be wiped so that no more state batches
can be appended.

Fxies an error in deploy file ordering.

feat(ctb): remove historicalTotalBlocks

Removes historicalTotalBlocks from the L2OutputOracle.

fix(ci): update yarn lock

Yarn lock file seems to have gotten out of date.

op-chain-ops: add logging to db migration

* Start contract changes for two step withdrawals v2

* Fix maurelian's nits

* Refactor Kelvin's SDK changes; SDK/integration test time

* Merge w/ `develop`

* Add tests for changed output proposal *after* proving the withdrawal hash

Whoops

* Gas snapshot / comments

* Regenerate bindings; Fix E2E Withdrawal test; Add extra indexed params to `WithdrawalProven`

* Start fixing indexer integration tests

* Fix conflicts; Start updating mark's new `op-e2e` withdrawal action tests

* Remove proposal timestamp >= withdrawal timestamp check

* Fix mark's `op-e2e` test + add docs to `proveMessage` in SDK

* Update changeset

* Lint contracts

* Merge with `develop`

* Re-order mapping declarations so that `finalizedWithdrawals` retains its old storage slot

* Merge with `develop`

* Start updating devnet tests

* Fix devnet tests

* Update ERC20 binding

* Clean up SDK

* Merge with `develop`

* Remove `integration-tests-bedrock` package

* Add check for equality between locally computed withdrawal hash vs. on-chain withdrawal hash

* Add Kelvin's check + complimentary test

Update bindings

* Fix finalization period in `TestCrossLayerUser`

Running them sequentially actually turns out to be faster. In addition it
turns out to be very hard to split the tests properly. `go list ./...` which
was the previous approach splits them by package, but we need to split them
by test name. Using `circleci tests glob "**/*.go"` did not work either
becaue it was combining files from different packages.

TestConfirmationDepth was consistently failing on the HTTP versions of the
op-e2e test. It was failing at the last line that checked the verifier
head block timestamp against the L1 head timestamp. I have changed it to
compare the verifier L1 Origin number against the L1 head number.

feat(ctb): add MigrationSystemDictator checks

Adds checks for the MigrationSystemDictator steps.