Verify errors in Main.value_of_key
Check for the absence of internal errors in https://formal-land.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/main/#value_of_key
Check for the absence of internal errors in https://formal-land.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/main/#value_of_key