starknet_os: os resources test - add send_message_to_l1

[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: os resources test - add send_message_to_l1 #14143 : 2 dependent PRs (#14144 , #14153 ) 👈 (View in Graphite)
• 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
• 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.

[reviewable-StarkWare]

This change is 

[cursor]

PR Summary

Medium Risk
Changes syscall gas/step constants and OS program hashes used for proving and fee accounting; incorrect values would affect resource bounds and OS identity checks.

Overview
Send message to L1 is now part of the OS resources regression path instead of being skipped as unmeasurable.

The measurement contract invokes send_message_to_l1_syscall with an empty payload, and the flow test asserts the resulting L1 message. SendMessageToL1 is removed from the unmeasurable syscall list so its VM steps are captured like other syscalls. Reported costs are lowered consistently: SEND_MESSAGE_TO_L1_GAS_COST (14470 → 12270), blockifier SendMessageToL1 n_steps (144 → 122), and program_hash.json OS hashes are regenerated to match the updated Cairo OS program.

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