Refactor. Add "Blocks read from OS" statistics.

We now LOG verification details at the fork granularity. This now includes
"Blocks read from OS", which allows users to reason about whether or not we
read from the operating system cache or disk.

Move the responsibility for opening and closing "top-level" relation into
verification.c.

In passing, clean-up and expand verification.c comments at top of file.