Introduce forked upgrade testing

[maurelian]

This PR enable running the foundry test suite against a fork of mainnet or sepolia.

Key changes:

1. A new Upgrade.s.sol which can be etched in place of Deploy.s.sol, and instead of deploying new contracts, it retrieves them from the forked node, and saves them to the deployment artifact so that they will be tested.
2. Setup.sol has new functionality to enable fork testing:
   • a new state var isForkTest and function skipIfForkTest() these can be used to identify when in a fork, and skip the test or take other action if necessary.
   • l2Genesis.setUp() is skipped and Setup.L2() returns early when in a fork test.
3. A new just test-upgrade command which sets the env vars necessary to run the test on a fork. This command runs only tests in the test/dispute and test/L1 directory. This is necessary in order to keep the run time reasonable, and the majority of other tests are not relevant to forked upgrade testing.

Limitations:

1. At this time, many tests are still failing: Encountered a total of 56 failing tests, 164 tests succeeded.

• While I am working through them with good momentum, I estimate that there are 5 to 20 tweaks still needed to get them working, either by skipping them (with justifications for doing so), or making fixes to the setup, cheats and assertions.

2. An unavoidable challenge is that it will become more difficult to write new tests as they will need to run against both locally deployed and mainnet forked systems. I believe that is a cost we have to bear, and that overtime we will become better at doing so.
3. The upgrade path itself has not yet been written, so some tests should be expected to fail for now. In the case where the failure is due to a difference between the system on mainnet vs. develop, they will be skipped, and labelled with TODO(opcm upgrades): so that they can be fixed in a child PR.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 47.26%. Comparing base (b6cf8ee) to head (27263ed).
Report is 4 commits behind head on develop.

Additional details and impacted files

@@             Coverage Diff             @@
##           develop   #13323      +/-   ##
===========================================
- Coverage    47.59%   47.26%   -0.34%     
===========================================
  Files          943      943              
  Lines        78827    78827              
  Branches       803      803              
===========================================
- Hits         37515    37254     -261     
- Misses       38509    38820     +311     
+ Partials      2803     2753      -50     

Flag	Coverage Δ
cannon-go-tests-32	62.27% <ø> (-1.98%)	⬇️
cannon-go-tests-64	57.35% <ø> (-1.62%)	⬇️
contracts-bedrock-tests	89.28% <ø> (-2.70%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

see 40 files with indirect coverage changes

[maurelian]

I introduced a bug here which caused ONLY the preimage oracle tests to run.