Added support for recording which out-point each branch takes.

Sebastian thinks this, and static code analysis is enough to do path coverage
too, but I don't think it is. Leaving some other code towards that in #ifdefs.

Also made the test outputs much easier to read.