blockifier: fix blake estimation offset by fixing constants

[dorimedini-starkware]

No description provided.

[dorimedini-starkware]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• starknet_os: recompute and assert the blake constants #14032 : 2 dependent PRs (#14033 , #14035 )
• blockifier: fix blake estimation offset by fixing constants #14034 👈 (View in Graphite)
• starknet_os: move blake constants to struct scope #14031
• starknet_os: extract cairo blake run to function #14030
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[reviewable-StarkWare]

This change is 

[cursor]

PR Summary

Medium Risk
Tweaks empirical VM-step constants that feed CASM hash/gas estimation, which can change transaction weight and fee-related calculations; errors would skew block packing and resource accounting.

Overview
Adjusts Blake2s CASM-hash resource estimation by decrementing the empirically-derived step constants used for empty input and message overhead in CasmV2HashResourceEstimate.

Updates OS and blockifier tests to match the corrected estimate: removes the prior one-step manual offset in blake2s_test.rs and refreshes expected migration gas numbers in bouncer_test.rs.

^{Reviewed by Cursor Bugbot for commit ba51f08. Bugbot is set up for automated code reviews on this repo. Configure here.}