Cleaned and expanded tools test

- Removed use of random values (it's nice to have deterministic tests).
- Added some more tests to check the behavior when the number of
    iterations is too low to detect failure.
Added another generator to test tools

- Renamed generatorFromSeq to finiteGeneratorFromSeq.
- Added a new generatorFromSeq which is implicitly infinite.
- Added new tests and fixed a bug in the old generator test.
- Other tests that produce a generator from a sequence no longer
    have to repeat the sequence to lengthen it.
Minor cleanup and extension of tools test

- Removed irrelevant and misleading comments.
- Improved the variability with a single iteration test:
    Now using a generator that would otherwise cause the test to pass.
- Confirming that test functions will return early if possible.
Cleaned up choice test

I realized that the combination of assertEqual and assertConstancy
is just the same as assertGeneratesOnly. Silly me! :p
Compacted choice tests
Updated test.tools documentation

Also increased the default number of iterations.
Removed redundant test tools

With the addition of generatorFromSeq, the two functions that
examined values in a list are no longer necessary.