Гипотеза не имеет генератора, из которого можно извлекать - внутренние компоненты реализованы совершенно иначе, чем обычная конструкция с отложенным бесконечным списком, используемая Quickcheck (потому что ... Haskell).
У нас есть открытый вопрос о добавлении режима размытия , который (надеюсь) станет предметом группового проекта для студентов старших курсов в Имперском колледже в начале 2019 года.
Пока он не готов, вы можете добавить @settings(timeout=60*60, suppress_health_check=HealthCheck.all(), max_examples=10**9)
к тесту, и он должен работать в течение часа (или до обнаружения ошибки).