Fix VERIFY command in the CLI to use the new APIs.