Cardano Updates

fix CI not running on bors branches

5023: fix CI not running on bors branches r=disassembler a=dermetfan

Looks like this was broken in #4930 as `prAndBorsIo` was added but not used.

Also removed `nix` from the task name. I do not see what purpose it has and it makes the names unnecessarily long. Also we happen to need the old names in #5018.

Co-authored-by: Robin Stumm <[email protected]>

I don't trust it. Compare these two runs:
1. https://github.com/input-output-hk/cardano-haskell-packages/actions/runs/4532746158/jobs/7984714895
2. https://github.com/input-output-hk/cardano-haskell-packages/actions/runs/4516172089/jobs/7954255360

The second is on the parent commit of the first, the commit itself is a
no-op, and yet the derivations
they build are not the same! Doing the same locally, I get a) a
different derivation, but b) the same derivation for both.

I conclude that what the CI is doing is questionable, the cache seems
like the most likely source of pollution.

I suspect whatever is causing this was also responsible for the no-op PR
spending a lot of time building tons of stuff.

* Update readme (cli flags, comment dsl, new format)

* Document the comment DSL

* Document CLI flags

* Mention new split rust/wasm output structure

* Remove unsupported section (to handle in issues instead as this tends
  to get very outdated)

* respond to comments + add supported.cddl

* minor fixes for comment placement in supported.cddl + remove unsupported optional fixed value from example

There's an issue with the `deriving via` clause for OneEraHeader:
* `show`ing a `NS Header (CardanoEras StandardCrypto
BatchCompatibleCrypto)` works fine
* `show`ing a `OneEraHeader (CardanoEras ...)` yields the annoying
error message about not being able to handle 2 different cryptos

Using forAllBlind in the property removes the QC requirement to be
able to `Show` the generated values which makes it work.

Co-authored-by: Sebastien Guillemot <[email protected]>

5018: Use ouroboros-network-0.3.0.2 and ouroboros-network-framework-0.2.0.1 r=dermetfan a=coot



Co-authored-by: Marcin Szamotulski <[email protected]>
Co-authored-by: Samuel Leathers <[email protected]>

Waiting for a day, at a pace of one block every 20 seconds would
generate 4320 blocks which takes forever to be created and
processes, even in IO sim.

We don't really observe the issue now because we cheat in the
way we generate the block.

This commit helps preparing for a more realistic block generation.