add n_encoding proof for Saturation_repr.v
The MR closes https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/104 the encoding proof is very similar to z_encoding_is_valid
and hence the valid predicate used is also same.
Edited by Guillaume Claret