Add repro instructions for coverage in run_tests.sh.