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