Verify existing axioms about maps
Verify the existing lemma/axioms about maps using stdpp. This task requires https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/123 These axioms and lemmas are in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/environment/proofs/map/ The idea is to make sure that our formalization using stdpp
is sound and usable, as well as removing some axioms.