runAllTets.py is pretty solid now