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