contracts-bedrock: Convert Echidna tests to Forge invariants for AddressAliasHelper library

feat(proxyd): update readme

feat(op-challenger): Subscription Logic

sdk: update to add mainnet network in hh config

sdk: fix deposit-eth task

op-chain-ops: withdrawal testing script

op-node: minimal chain config

contracts-bedrock: standardize naming for artifacts

contracts-bedrock: deploy the L1ERC721Bridge

Standardizes the naming scheme for the hh deploy artifacts.
The goerli artifacts had their names migrated to the new style
where proxy is used as a suffix. This is a forwards compatible
change because the tooling will look between both the `contracts`
package and the `contracts-bedrock` package for the artifacts,
meaning that a lookup for the old name and the new name will work.
This will prevent there from being 2 artifacts with the same name
which may break some of the golang hh tooling.

Update the mainnet config for what is already known
for the hardcoded mainnet config.

contracts-bedrock: fix mainnet deploy-config export

This was not deployed with the other contracts
because its artifact was not previously deleted
so it was deployed individually.

Ports a change from `feat/mainnet` so that the hardhat
config can run against a mainnet network. Ensures that
it can find the deploy artifacts on disk for running
the e2e hh tasks.

Fixes the export so it works as expected with hardhat deploy config.
Co-authored-by: Andreas Bigger <abigger87@gmail.com>

contracts-bedrock: fix L2OO deployment assertion

Migrated withdrawal testing script updates ported
from `feat/mainnet` branch.
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

contracts-bedrock: make check-l2 script faster

The address was not being referenced resulting in a bug. We should
delete this task eventually and have coverage of this with op-e2e
although this does cover the hardhat deployments which op-e2e does
not cover. Perhaps this should live in hive then longer term.
Ported from the `feat/mainnet` branch.

Makes the script run much faster in parts that are covered
by the go post check during the migration.
Co-authored-by: clabby <ben@clab.by>

contracts-bedrock: mainnet-deployment