Adding quickcheck to ensure the sieve is ok.