Comment 2 for bug 589000

Another (private) branch, with much heavier analysis and many more tests, takes 8 minutes 19 to run. With the fast-testing branch merged, 22 seconds, a 22-fold speedup. Neat! :)