Cardano Updates

Some tests are pretty long to run, namely the state machine and mantis
integration ones. On top of that, the mantis integration tests are
expecting the user to have all the Mantis binaries in $PATH, which
might not necessarily be the case.

We extract these tests into 3 tests suites:

- test: the "standard" one. It's meant to be run frequently. The tests
  are pretty fast to complete and do not require anything wild in $PATH.
- state-machine-tests: the state machine tests do not require anything
  wild in $PATH either, however, they are pretty long to complete (~4min).
- mantis-integration-tests: these integration tests require Mantis to
  be in $PATH on top of being pretty long to run (~2min).

We create a realease.nix job for each of these tests to make them run
on hydra.

Some tests are pretty long to run, namely the state machine and mantis
integration ones. On top of that, the mantis integration tests are
expecting the user to have all the Mantis binaries in $PATH, which
might not necessarily be the case.

We extract these tests into 3 tests suites:

- test: the "standard" one. It's meant to be run frequently. The tests
  are pretty fast to complete and do not require anything wild in $PATH.
- state-machine-tests: the state machine tests do not require anything
  wild in $PATH either, however, they are pretty long to complete (~4min).
- mantis-integration-tests: these integration tests require Mantis to
  be in $PATH on top of being pretty long to run (~2min).

We create a realease.nix job for each of these tests to make them run
on hydra.

We were unable to verify the signatures produced by Morpho on
Midnight. It turns out the secp256k1-haskell FFI binding it quite
loose type-wise and we swapped the r and s ECDSA parameters.

We add an integration test testing the signature format with the real
Mantis parser.

We inject the "signatureValidator" CLI tool coming from mantis through
Nix.

Note: these tests are pretty long to run (~2s/iteration). They also
require the user to have Mantis to their $PATH to correctly run. We
probably should extract them to their own cabal target.

We add an integration test testing the signature format with the real
Mantis parser.

We inject the "signatureValidator" CLI tool coming from mantis through
Nix.

Note: these tests are pretty long to run (~2s/iteration). They also
require the user to have Mantis to their $PATH to correctly run. We
probably should extract them to their own cabal target.