Add verify subcommand