ledger-tool: Refactor slot recording code (anza-xyz#2307)

The logic to record / verify slots is currently inline in the verify
subcommand code. This code is non-trivial and makes it a bit harder
to read through the various commands in main.rs

So, break this code out into a helper function and perform some minor
cleanup.