QuickCheck properties for Data.Set