Reduce quickcheck to a dev-dependency

Users of acacia should not need to be aware of its testing infrastructure and currently acacia does not implement quickcheck traits to export.