Translate https://gitlab.com/clarus1/tezos/-/blob/guillaume-claret@proto_alpha-coq-of-ocaml-proto-j/src/proto_alpha/lib_protocol/test/pbt/test_bitset.ml to Coq