Use iteration count rather than time to delay the start of exhaustive searching in Solver.ExhaustiveSearch.
Update test/benchmark.js to parse environment variables and support timeouts.