Replaces https://github.com/ethereum-optimism/optimism/pull/9089

We do not want to call the `FFIInterface` or other test contracts as part of the
invariant tests because it will create malformed inputs and cause
unrelated invariant tests to fail.