op-program: Handle invalid transition states during interop consolidation

[Inphi]

The consolidation step of interop derivation needs to handle the case where there are invalid transition states. When this happens, each optimistic block that's found to be invalid must be replaced with a deposit-only block.

The native block execution hint can be used to prepare the data needed to build a deposit-only block in the program.