Rewrote run_tests.py.