QuickCheck for Swift