Fix simulations in Script_typed_ir.v

Port the file https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/simulations/script_typed_ir/ to Proto K.