feat(workspace): Interop proof primitives

[clabby]

Overview

The interop proof specifies a new PreState type, which can be either a SuperRoot or TransitionState. The SuperRoot was introduced in #924, but the TransitionState is a fault-proof-specific construct that allows for the aggregation of pending progress throughout sub-problem execution.

It also requires a new set of hints that will allow for L2 receipts to be fetched, along with the pre-image of the PreState.

We will need to extend kona-proof with a new BootInfo struct to account for the changed local keys, PreState enum that encompasses the SuperRoot or TransitionState, and HintType enum that represents the new set of hints.

[clabby]

closed by #902 - created retroactively for tracking