quickcheck-dynamic support

[uhbif19]

TODO:

• Gen instances for our datatypes
• DApp to QD state-machine interface conversion (UPD: only single-script was implemented)
• Tests showing QD invariants finding fails

Blocked by #41

UPD:

Common invariants and their pretty printing seem to all be either correct-by-construction for our on-chain scripts or too hard to implement. Liveliness is only generic thing checked, also coverage, all other stuff is DApp specific.

[github-actions]

Status: Blocked ❌

Issues blocking this PR:

• DApp (CEMScript groups) support #41 ❌

---

This comment was automatically written by the Blocking Issues bot, and this PR will be monitored for further progress.