Hito: el frontend de @vyperlang ahora emite directamente Venom IR 🚀. Ya no pasamos por el IR original de Vyper. Así que ahora la verificación formal puede ser más sencilla, y también obtuvimos algunas ganancias adicionales.