Add QuickCheck race conditions paper