Add integration with quickcheck-ci