Add coverage to tests

We don’t quite have anything that tells us how much of the code we test (such as, in the above subtask, how many of the scheduler options we exercise). We should, in both github tests and the userland ones, with proper reporting to the server.
