Correct quickcheck ci execution (I hope!)