Add VERIFY command to the CLI frontend.