Function run_from_argv 

pub fn run_from_argv(rest: &[String]) -> ExitCode

Entry point dispatched from main when argv[1] == “verify”.