新的 hevm 版本发布了！ 这个版本在多个方面进行了改进： ✅ 改进的可用性 ✅ 更快的性能 ✅ 更深入的代码检查 ✅ 更多的正确性保证 这是正式 EVM 测试的一大进步。