Milepæl: @vyperlang frontend sender nå ut direkte Venom IR 🚀. Vi bruker ikke lenger den originale Vyper IR. Så nå kan formell verifisering bli enklere, og vi fikk også noen ekstra gevinster.