Include Direct chain component in the Model-based testing stack

[ch1bo]

trafficstars

Using the same model as #375, but with the Hydra.Chain.Direct transaction construction and observation interleaved when performing the state transitions. This should include transaction validation (phase 1 + 2) in a Cardano ledger, basically simulating the cardano blockchain.