Make run_tests.py also run a subset of tests w/o coverage (in addition