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