Étape importante : le frontend @vyperlang émet désormais directement Venom IR 🚀. Nous ne passons plus par l'IR Vyper original. Ainsi, la vérification formelle peut être plus simple, et nous avons également obtenu des gains supplémentaires.