A simple linear test runner for Tao