Using quickcheck to test the distinct-except function.