blockifier,starknet_os: expect the blake constants in tests and check consistency

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[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

• blockifier,starknet_os: expect the blake constants in tests and check consistency #14035 👈 (View in Graphite)
• starknet_os: recompute and assert the blake constants #14032 : 1 other dependent PR (#14033 )
• blockifier: fix blake estimation offset by fixing constants #14034
• 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.

[github-actions]

Artifacts upload workflows:

• Started at 2026-05-16T10:02:54Z
• Started at 2026-05-16T10:23:35Z
• Started at 2026-05-16T12:34:05Z

[cursor]

PR Summary

Low Risk
Low risk: changes are limited to test-only validation of Blake hash estimation constants plus an optional expect-test dependency gated behind the testing feature.

Overview
Adds an expected module (gated behind test/testing) that centralizes expect-test snapshots for the CASM V2 (Blake) hash step-estimation constants, keeping production constants unchanged.

Updates Blockifier and Starknet OS tests to assert against these expect values and adds a new test that verifies the production constants match the expected snapshots, with expect-test wired in as an optional dependency under the testing feature.

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

[cursor]

Cursor Bugbot has reviewed your changes and found 2 potential issues.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit 57722b6. Configure here.}

[dorimedini-starkware]

@dorimedini-starkware resolved 2 discussions.
Reviewable status: 0 of 4 files reviewed, all discussions resolved (waiting on AvivYossef-starkware and Yoni-Starkware).