voordat ik de mainnet uitrol, breng ik nog een kwaliteitsverbetering aan in het migratieproces in het programma. ik wil dat deze release 🫰🔥™️ is. bij de release zal ik ook de nieuwe formele verificatie op de tijdlijn zetten, zoals altijd, met een changelog.