Have beginning of translation for pbt of sc_rollup_tick_repr.ml
Have a beginning of translation with coq-of-ocaml
for the property-based test https://gitlab.com/tezos/tezos/-/blob/master/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_tick_repr.ml