Bump version for new release: 0.57.0

Author: blishko

CHANGELOG.md

@@ -5,7 +5,7 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [Unreleased]
+## [0.57.0] - 2026-01-08
 
 ## Added
 - We support RPC in equivalence checking now

hevm.cabal

@@ -2,7 +2,7 @@ cabal-version: 3.0
 name:
   hevm
 version:
-  0.56.0
+  0.57.0
 synopsis:
   Symbolic EVM Evaluator
 description: