Improve test coverage.

Test coverage is currently over 96%. The few remaining bits have to deal
with handling failures in reading or writing the counter; this is a
fixed-size array of 8-bytes, and it is always read from or written to a
uint64; I still need to think of devious ways to make this fail.