Added some QuickCheck properties