Div-by-zero bugs fixed. Testing parallelized.

All of the divide by zero bugs have been fixed as far as QuickCheck has
been able to tell.

The code that testAll.py generates has been dramatically shortened and
now runs each test in parallel, automatically adjusting the thread count
to the number of processors on the system.