starknet_os_flow_tests: fuzz test get block hash scenario

[dorimedini-starkware]

Note

Medium Risk
Adds a new fuzz scenario that exercises get_block_hash syscall behavior and modifies block advancement/address expectations, which could make the fuzz harness more brittle if block-number assumptions change.

Overview
Adds a new fuzz operation/scenario (17) to exercise the get_block_hash syscall: Cairo1 contracts now call syscalls::get_block_hash_syscall and validate both expected success (retrospective block) and expected failure (out-of-range), while Cairo0 explicitly reverts with get_block_hash_cairo0.

Updates the orchestrator contract to expose new unexpected-error panic messages and improves error/OOB handling, plus refactors Cairo1 immediate-syscall failure handling via maybe_unwrap_error.

Enhances the Rust fuzz harness to generate GetBlockHash operations, track the test block_number, advance blocks to pass STORED_BLOCK_HASH_BUFFER, and adds TestManager::get_current_block_number; this changes expected deployed contract addresses and updates the Cairo0 compiled artifact accordingly.

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

[reviewable-StarkWare]

This change is 

[Yoni-Starkware]

@Yoni-Starkware reviewed 4 files and all commit messages, and made 1 comment.
Reviewable status: 4 of 14 files reviewed, 1 unresolved discussion (waiting on dorimedini-starkware).

---

crates/blockifier_test_utils/resources/feature_contracts/cairo1/fuzz_revert_orchestrator.cairo line 133 at r3 (raw file):

                if contains_unexpected_error {
                    panic(error);
                }

wat? no in or .contains in cairo?

Code quote:

                let mut contains_unexpected_error = false;
                for error_value in error
                    .span() {
                        for unexpected_error in unexpected_errors {
                            if error_value == unexpected_error {
                                contains_unexpected_error = true;
                                break;
                            }
                        }
                    }

                if contains_unexpected_error {
                    panic(error);
                }

[Yoni-Starkware]

@Yoni-Starkware reviewed 2 files.
Reviewable status: 6 of 14 files reviewed, 1 unresolved discussion (waiting on dorimedini-starkware).

[dorimedini-starkware]

@dorimedini-starkware made 1 comment.
Reviewable status: 6 of 14 files reviewed, 1 unresolved discussion (waiting on dorimedini-starkware and Yoni-Starkware).

---

crates/blockifier_test_utils/resources/feature_contracts/cairo1/fuzz_revert_orchestrator.cairo line 133 at r3 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

wat? no in or .contains in cairo?

claude says no, can't see anything in the cairo book

[Yoni-Starkware]

@Yoni-Starkware reviewed 2 files and all commit messages, and made 2 comments.
Reviewable status: 7 of 14 files reviewed, 1 unresolved discussion (waiting on dorimedini-starkware).

---

crates/blockifier_test_utils/resources/feature_contracts/cairo1/fuzz_revert_orchestrator.cairo line 133 at r3 (raw file):

Previously, dorimedini-starkware wrote…

claude says no, can't see anything in the cairo book

According to claude there's this

let found = array![1_u8, 2, 3].into_iter().any(|e| e == needle);

[dorimedini-starkware]

@dorimedini-starkware made 1 comment.
Reviewable status: 7 of 14 files reviewed, 1 unresolved discussion (waiting on dorimedini-starkware and Yoni-Starkware).

---

crates/blockifier_test_utils/resources/feature_contracts/cairo1/fuzz_revert_orchestrator.cairo line 133 at r3 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

According to claude there's this

let found = array![1_u8, 2, 3].into_iter().any(|e| e == needle);

yes, that's still two loops: iterate over array and iterate over the heystack

[dorimedini-starkware]

@dorimedini-starkware resolved 1 discussion.
Reviewable status: 7 of 14 files reviewed, all discussions resolved (waiting on dorimedini-starkware).

[dorimedini-starkware]

@dorimedini-starkware reviewed 7 files.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on dorimedini-starkware).

[Yoni-Starkware]

@Yoni-Starkware made 1 comment.
Reviewable status: complete! all files reviewed, all discussions resolved.

---

crates/blockifier_test_utils/resources/feature_contracts/cairo1/fuzz_revert_orchestrator.cairo line 133 at r3 (raw file):

Previously, dorimedini-starkware wrote…

yes, that's still two loops: iterate over array and iterate over the heystack

What? How do you know it's two loops and not one?