op-node: experimental interop block verification

[protolambda]

Description

Experimental draft of op-node changes needed to interface with the new op-supervisor service for cross-L2 safety checks of L2 blocks.

TODO:

• [x] add invalid safety status (or something akin to that) to supervisor types/API, to identify blocks with invalid executing messages.
• [ ] emit critical error when supervisor returns invalid safety status.
• [ ] unit testing of new interop deriver
• [ ] integration testing

Tests

Work in progress.

Metadata

Fix #11312

Also fix #10886

[axelKingsley]

add invalid safety status (or something akin to that) to supervisor types/API, to identify blocks with invalid executing messages.

I cut a new PR on top of my API to address this.

https://github.com/ethereum-optimism/optimism/pull/11613

[protolambda]

Opened https://github.com/ethereum-optimism/optimism/issues/11672 to track the finalizer changes to make in op-node, in devnet 2 scope.

[protolambda]

Unrelated contracts test flakes. Going to rebase, so CI can run against latest develop cleanly.