PropTestConfig(seed: Long? = null, minSuccess: Int = Int.MAX_VALUE, maxFailure: Int = 0, shrinkingMode: ShrinkingMode = ShrinkingMode.Bounded(1000))