Integrate MiniZinc for constraint-based test generation

[moodmosaic]

Draft for discussion.

Express invariants and properties as MiniZinc models.

Use the MiniZinc JavaScript API to embed the solver.

Feed generated inputs into fast-check generators.