Add optional property-based tests, using theft (if available).