starknet_os: define sha256 batch resources constants

[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

• starknet_os: os resources test - add send_message_to_l1 #14143 : 2 dependent PRs (#14144 , #14153 )
• starknet_os: os resources test - add replace_class #14142
• starknet_os: os resources test - support virtual builtins, add sha256 #14141
• starknet_os: define sha256 batch resources constants #14140 👈 (View in Graphite)
• starknet_os: os resources test - add keccak #14139
• starknet_os: os resources test - add 3 more syscalls #14138
• starknet_os: os resources test - remove all fee transfer syscalls #14137
• starknet_os: os resources test - add emit event #14136
• starknet_os: os resources test - add meta tx #14135
• starknet_os: os resources test - measure linear factor, add deploy #14134
• starknet_os: os resources test - create fixed deployable account #14173
• starknet_os: os resources test - library call #14129
• starknet_os: initial test, measure call contract resources #14128
• blockifier_test_utils: add OS resources measurement contract #14126 : 1 other dependent PR (#14127 )
• blockifier: regenerate VC JSONs #14133
• blockifier: raw VC to_string_pretty #14132
• blockifier: raw VC deterministic map order #14131
• blockifier: raw VC serde equivalence test #14130
• main

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

[cursor]

PR Summary

Low Risk
Test-only resource constants and a Cairo runner integration test; no production OS or fee logic paths changed in this diff.

Overview
Adds documented Cairo VM resource costs for the OS program’s SHA-256 batching path, split into per-round linear and fixed constant ExecutionResources (steps and bitwise/range_check builtins, normalized via BUILTIN_INSTANCE_SIZES).

A new integration test runs finalize_sha256 from OS_PROGRAM_BYTES at two block counts (one round apart), derives linear vs constant usage from the difference, and asserts it matches SHA256_BATCH_RESOURCES_LINEAR and SHA256_BATCH_RESOURCES_CONSTANT. Test input is built with deterministic RNG and sha2::compress256 so instance layouts match what Cairo expects.

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