Meilenstein: das @vyperlang Frontend gibt jetzt direkt Venom IR aus 🚀. Wir gehen nicht mehr durch das ursprüngliche Vyper IR. Jetzt kann die formale Verifizierung einfacher sein, und wir haben auch einige zusätzliche Vorteile erhalten.