The mmap branch changes broke checkpoint memory management, verify was
leaking memory.

Quit pretending to do any lock checking in the block manager: we depend
on the session layer never (never!) opening the live system multiple
times, or creating, truncating, verifying or salvaging when the live
system is open, for that matter.
Fix an error message, we might someday have more than one checkpoint version.