Explore possible approach to conformance testing for Leios

[ghost]

• understand the details of the mechanic through which conformance testing is done in the Conway ledger
• write a simple executable specification for a small part of Leios (eg. IB delivery in freshest first way?) in Agda
• write some conformance tests for this specification using similar approach than what's been done in Peras
  • the interesting bit is mostly the Generators
• understand whether or not the constrained-generators library would be relevant to our problem

[WhatisRT]

Another angle on this is that we could also use the executable logic from the spec to run simulations. There would be some FFI overhead and MAlonzo code is typically 2x slower than equivalent hand written Haskell but it might be worth to just run that code in the simulations. With all the infrastructure we've built for the Ledger there's a chance that it's not too much work.

[ghost]

I would rather focus on using the executable logic as a reference and test oracle, and give the freedom to simulations to use whatever language and tools they need.