"wt verify" truncates to the size of the last snapshot, and shouldn't.

The problem is the session code re-opens the file handle after the verify completes, and that is what truncates the file.

I think this is a bug in the session code: we shouldn't re-open the Btree handle after a "special" operation, that is, verify, salvage or upgrade, we should just discard the reference. It's not that big a deal for salvage or upgrade because they are writing the file anyway, but verify shouldn't write the file.