Make `pending` work with QuickCheck properties
Use modifyIORef' instead of modifyIORef