Fix run_tests.py to detect doctest failures and tear itself down more