This is apparently not tested anywhere, since I delete the UltraHonk gates command and nothing broke. gates_for_ivc does get called, so it exists under OLD_API, but probably it should just be under the gates command of ClientIVCAPI when particular flag values are used.