Encodings in 🎲 Sampler.v

Verify the following encodings in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/sampler/ :

• Mass.encoding
• encoding

These encodings will be a little harder to verify as they are with a functor.