Implement ISapling_verify_update_deprecated in Simulations
ISapling_verify_update_deprecated is defined in proto_alpha/Script_typed_ir.v. We need to make another implementation of this and all dependent definitions in proto_alpha/Simulations/Script_typed_ir.v for simulation cases that make use of this.