Use QuickCheck's interrupted flag