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