feature(casm): Added blake2s and qm31 encoding tests.

[orizi]

Summary

Added test cases for encoding Blake2s compression and QM31 assertion instructions. The new tests verify that these instructions are correctly encoded into their binary representation, ensuring proper assembly of complex instructions with various parameters and flags.

---

Type of change

Please check one:

• Bug fix (fixes incorrect behavior)
• New feature
• Performance improvement
• Documentation change with concrete technical impact
• Style, wording, formatting, or typo-only change

---

Why is this change needed?

This PR adds test coverage for encoding specialized instructions (Blake2s compression and QM31 assertions) that were previously untested. These tests ensure that the binary encoding of these instructions matches their expected representation, which is critical for the correctness of the Cairo assembly process.

---

What is the behavior or documentation after?

The test suite now includes specific test cases that verify the encoding of Blake2s compression instructions (with both finalize=true and finalize=false options) and QM31 assertion instructions (with and without ap++). Each test case validates that the instruction is correctly encoded to its expected binary representation.

[reviewable-StarkWare]

This change is 

[orizi]

• feature(casm): Added blake2s and qm31 encoding tests. #9605 👈 (View in Graphite)
• refactor(casm): Using cell_ref! macro when possible. #9604
• refactor(casm): Renamed deref macro to cell_ref. #9603
• main

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

[ilyalesokhin-starkware]

@ilyalesokhin-starkware reviewed 1 file and all commit messages, and made 1 comment.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @TomerStarkware).

[ilyalesokhin-starkware]

crates/cairo-lang-casm/src/encoder_test.rs line 169 at r1 (raw file):

    None;
    "{QM31} [ap + 2] = [fp - 1];"
)]

add a test case with an immediate

Code quote:

#[test_case(
    Instruction::new(
        InstructionBody::QM31AssertEq(AssertEqInstruction {
            a: cell_ref!([ap + 2]),
            b: res!([fp + -1]),
        }),
        false,
    ),
    0x1_c00a_7fff_7fff_8002,
    None;
    "{QM31} [ap + 2] = [fp - 1];"
)]