contracts-bedrock: migrate interop portal to fp

[tynes]

Description

Utilize fault proofs in the interop portal. This is useful for removing the L2OutputOracle from the codebase. We will need to deploy the interop devnet using the permissioned dispute game after this change, so we want to ensure that the deploy script can set that up easily.