Add QuickCheck CI integration.