Superchain State

To allow for easy cross L2 transfers and messaging, a super state merkle tree of all L2 state roots is maintained and passed in the preimage of the L2 proof's public input hash.

TODO: add reference implementation, diagram and token transfer example from old docs.