Make Sets unbounded #45
Description
By default Sets currently only produce 100 values when no ->take() was specified.
The new default should be to provide an infinite set of values. Now the caller should choose when to stop iterating over the values.
Note
The number of scenarii per proof should still remain at 100.