Re-implement verify subcommand
- Extract reusable logic from derivation handler
- Add chainviewer helper, to be made configurable later
- Implement verify sumcommand
- Print manual derivation steps
- Print link to chainviewer
- Print warning if the network is not the Tezos Mainnet