Test eqc ci

I made a few change to the QuickCheck properties. This should allow it to run on QuickCheck CI.