Testing a database for race conditions with QuickCheck