Encodings related to Tezos Smart Rollups.

Included are types for:

• parsing inbox messages from L1, including Michelson types.
• constructing outbox messages to be executed on L1.
• parsing & revealing the Data Availability Committee reveal tree encoding.
• tezos' Contract & PublicKeyHash types.