QuickCheck properties for IntSet

[David Benbennick]

On Wed, Apr 30, 2008 at 10:34 AM, Ian Lynagh <igloo at earth.li> wrote:
>  I believe that a much smaller number of carefully chosen unit tests could test the library just as
>  well

I think that if you remove any of the properties from my patch, I can
break the implementation of IntSet in such a way that it still passes
all the tests.  Anyway, the new QuickCheck properties are just
comments, so they don't have any affect on the test suite.