contracts-bedrock: add tests for preinstalls

This is a prereq of #8942.
This will help to remove the concept of `check-l2` to help reduce the
amount of diff a developer needs to do when making changes to the
solidity code. Ideally, a solidity dev needs to touch 0 code in any
other language (besides bash ffi lolz).

After this PR as well as:
- #8933
- #8911

the functionality of `check-l2` is now completely in solidity.

Note that we are now calling the non system contracts "preinstalls"
instead of "predeploys" to denote that they do not live in the predeploy
namespace and are not critical to the functionality of the system.
They are set at deterministic addresses.

Author: tynes

packages/contracts-bedrock/src/libraries/Predeploys.sol

@@ -82,7 +82,7 @@ library Predeploys {
     address internal constant MultiCall3 = 0xcA11bde05977b3631167028862bE2a173976CA11;
 
     /// @notice Address of the Create2Deployer predeploy.
-    address internal constant Create2Deployer = 0xF49600926c7109BD66Ab97a2c036bf696e58Dbc2;
+    address internal constant Create2Deployer = 0x13b0D85CcB8bf860b6b79AF3029fCA081AE9beF2;
 
     /// @notice Address of the Safe_v130 predeploy.
     address internal constant Safe_v130 = 0x69f4D1788e39c87893C980c06EdF4b7f686e2938;