python hypothesis DRMacIver/hypothesis