Add option to control number of cpus in tests.
Add oracle to validate assignments.
Adding QuickCheck tests -- incorrect results from naive2?
Fix stupid mistake in isValidEnv.
Hook up QuickCheck test.
Add simple parallelism to lvish3.

This shows a 1.7x speedup on 2 cores for me -- surprisingly good for an
eight-character change!