Nova versão do hevm lançada! Esta versão traz melhorias em várias frentes: ✅ Usabilidade melhorada ✅ Desempenho mais rápido ✅ Inspeção de código mais profunda ✅ Mais garantias de correção Um grande passo em frente para testes formais do EVM.