Draft : proof of the encodings in src/Proto_alpha/Proofs/Tx_rollup_commitment_repr
The current MR closes https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/110
The current MR closes https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/110