新的 hevm 版本已經發布！ 這個版本在幾個方面帶來了改進： ✅ 改善了可用性 ✅ 更快的性能 ✅ 更深入的代碼檢查 ✅ 更多的正確性保證 對於正式的 EVM 測試來說，這是一個重要的進步。