Checks spec for correctness statically

[uhbif19]

• Static validation: all spec maps are total
• Static validation: signers, coins-selection and minting constraints are correct

Blocked by #24

[github-actions]

Status: Ready to merge ✔️

Issues blocking this PR:

• Implement basic static DSL for constraints #24 ✔️

---

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