Introduce some very very basic quickcheck test cases for the project.
EQC CI support.