Cardano Updates

This property runs a sequence of state machine actions where the last action
definitely injects errors, at which point we can check if no errors are
swallowed. See the documentation of `prop_noSwallowedExceptions` for more
information.

We will be testing that `lsm-tree` operations do not swallow errors by injecting
errors into the simulated file system and checking after the fact whether we
should have seen an exception or not. One way to check this would be to compare
the `Errors` structure before and after the `lsm-tree` operations, but this is
unfortunately not possible in general. `Errors` are potentially infinite
structures, which means computing a comparison on `Errors` may diverge. Instead,
what we do is we create an `ErrorsLog` structure that records errors as soon as
they are injected. We can inspect this log to see if any errors were swallowed.

Co-authored-by: Joris Dral <[email protected]>

Co-authored-by: Joris Dral <[email protected]>

The timeouts are disrupting CI occasionally, so the test is disabled for now.
See #570.

This avoids having to convert on the fly for each entry.

Add type parameter to MergingRun to limit possible merge types