This PR implements Steps 7 and 8 in [this doc](https://docs.google.com/document/d/1S2v_sGsBngCRqDLuIhxtZqyEMs2InC_DFoRDv3OW1PI/edit). "Ignore p/r"

[will8683]

This PR implements Steps 7 and 8 in this doc.

• VerifyContractData.s.sol reports on critical data within contracts (which will likely require manual verification)
• UpgradePortal performs an upgrade to a new version of OptimismPortal to enable fault proofs

Originally posted by @nadir-akhtar-coinbase in #187