Function run_verify 

pub async fn run_verify(
    cmd: BuiltinCommand,
    state: &State,
) -> Result<ControlFlow, Error>