31.2.0 (2026-07-14) Features multivm: Cycles Tracer (#4889) (6d498bd) state_keeper: persist predicted vs prover-reported Airbender cycles (#4891) (52f2bd8) Bug Fixes contract-verifier: normalize standard-json source handling (#4890) (6f6222f) verifier: patch zksolc factory dependency hashes (#4872) (cb19266)