Merge main-v0.14.2 into main-v0.14.3

[einat-starkware]

No description provided.

[cursor]

PR Summary

Medium Risk
Touches block-hash inputs in the OS and version parsing on the proving path; incorrect override or fallback logic could break virtual OS hash consistency with on-chain blocks.

Overview
Adds support for proving against base blocks whose on-chain Starknet version string is newer than the binary’s latest StarknetVersion enum, so virtual OS block-hash checks still match chain commitments.

OS input & hints: OsBlockInput gains optional starknet_version_override. In get_block_hashes, the OS now inserts the version into Cairo memory via ascii_as_felt on either that override or block_info.starknet_version.to_string(), instead of converting the parsed enum to a felt—matching how the on-chain block hash commits to the exact ASCII version string.

Transaction prover path: BaseBlockInfo stores raw_starknet_version from the RPC header. BaseBlockInfo::new maps unknown-but-newer versions to StarknetVersion::LATEST for blockifier execution via new starknet_version_or_latest, while preserving the raw string for the OS. VirtualOsBlockInput / OsHints set starknet_version_override to that raw string. Flow tests and storage proof tests wire None or LATEST where appropriate.

Tests: Expanded virtual_block_executor_test for version fallback, rejection of invalid/old unknown versions, and starknet_version_or_latest edge cases.

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

[reviewable-StarkWare]

This change is 

[Yoni-Starkware]

@Yoni-Starkware reviewed 7 files and all commit messages, and made 1 comment.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on einat-starkware).