Test eqc ci

Got QuickCheck-CI working with your project. Even coverage information.
Note that property code is not covered... trying to find out what causes that.