Make `pending` work with QuickCheck properties
Use modifyIORef' instead of modifyIORef
More documentation
Update .cabal file