DoNotSize<'a> Type

Whereas most types are restricted by a size that grows as the test gets further, by applying this type the underlying type will ignore this size and always generate from the full range. Note that this only makes a difference for types that have a range - currently integer types, TimeSpan and Decimal have DoNotSize Arbitrary instances. This is typically (and at least currently) only applicable for value types that are comparable, hence the type constraints.