Update eqc and add quickcheck-ci