Make.SimulationBackend
val simulate_and_read : input:Simulation.Encodings.simulate_input -> bytes Mavryk_base.TzPervasives.tzresult Lwt.t