Traguardo: il frontend di @vyperlang ora emette direttamente Venom IR 🚀. Non utilizziamo più l'originale Vyper IR. Quindi ora la verifica formale può essere più semplice, e abbiamo anche ottenuto alcuni guadagni aggiuntivi.