QuickCheck for Swift.