starknet_os: generalize sha resource test to include sha512

[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: proper base measurement in OS resources test #14294
• starknet_os: os resources test - add sha512 #14256
• starknet_os: generalize sha resource test to include sha512 #14255 👈 (View in Graphite)
• starknet_os: os resources test - add secp syscalls #14144 : 1 other dependent PR (#14145 )
• starknet_os: os resources test - add send_message_to_l1 #14143 : 1 other dependent PR (#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
• 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 - library call #14129
• starknet_os: initial test, measure call contract resources #14128
• blockifier_test_utils: add option to deploy from zero in test accounts #14258
• starknet_os_flow_tests: helper function to declare explicit classes #14257
• starknet_os: os resources test - create fixed deployable account #14173
• main

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

[cursor]

PR Summary

Low Risk
Changes are limited to test helpers and expected resource constants; no production OS or runtime behavior is modified.

Overview
Refactors the SHA finalize resource harness into a generic run_finalize_sha<T> so SHA-256 and SHA-512 share the same Cairo VM setup, input layout, and two-point linear/constant resource extraction.

Adds a sha_512_update_state reference helper and test_finalize_sha512, which runs the OS finalize_sha512 entrypoint and asserts against new SHA512_BATCH_* expected ExecutionResources in test_utils (batch size 3). The existing SHA-256 test is updated to call the generic runner with u32 and the SHA-256 finalize symbol.

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

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ 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 ef797cd. Configure here.}