contracts-bedrock: add tests for preinstalls (#8944)

* 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.

* contracts-bedrock: lint

* contracts-bedrock: lint