Fix the compare proofs in Script_comparable.v
Requires https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/75 and https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/72
Fix the comparison proofs in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proofs/script_comparable The proof should use the dependent simulation.