testing/quick is in the standard lib, though it's a very far cry from Hypothesis or QuickCheck.