(optimization): Reboxing also applied on Box of snapshots

[eytan-starkware]

Enable reboxing optimization for snapshotted structs.

This PR extends the reboxing optimization to support structs wrapped in snapshots. Previously, the optimization would skip any struct that had snapshots, as indicated by the removed code that checked for n_snapshots > 0. Now, the optimization properly handles snapshots by:

1. Importing wrap_in_snapshots from the semantic types module
2. Applying the appropriate number of snapshots to member types when deconstructing boxed structs
3. Removing the early return that skipped snapshotted structs

The PR also adds test cases for reboxing with snapshots.

[reviewable-StarkWare]

This change is 

[eytan-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

• (optimization): Reboxing now also works on whole var reboxing #8994
• (optimization): Reboxing also applied on Box of snapshots #8954 👈 (View in Graphite)
• (optimization): automatically detecting reboxing of struct member and applying struct_box_deconstruct libfunc #8768
• main

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

[ilyalesokhin-starkware]

@ilyalesokhin-starkware reviewed 4 of 4 files at r1.
Reviewable status: all files reviewed (commit messages unreviewed), all discussions resolved (waiting on @giladchase and @orizi)

[orizi]

@orizi reviewed 3 of 4 files at r1, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @eytan-starkware and @giladchase)

---

crates/cairo-lang-lowering/src/optimizations/test_data/reboxing line 813 at r1 (raw file):

    let member_a = unboxed.a;
    (BoxTrait::new(member_a), unboxed.non_drop)
}

Suggestion:

fn main(a: Box<@A>) -> (Box<@felt252>, @NonDrop) {
    (BoxTrait::new(a.a), a.non_drop)
}

[orizi]

@orizi reviewed 4 of 4 files at r2, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @eytan-starkware and @giladchase)

[eytan-starkware]

Reviewable status: 0 of 4 files reviewed, 1 unresolved discussion (waiting on @giladchase, @ilyalesokhin-starkware, and @orizi)

---

crates/cairo-lang-lowering/src/optimizations/test_data/reboxing line 813 at r1 (raw file):

    let member_a = unboxed.a;
    (BoxTrait::new(member_a), unboxed.non_drop)
}

Done.

[orizi]

@orizi reviewed 1 of 1 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @giladchase)

[ilyalesokhin-starkware]

@ilyalesokhin-starkware reviewed all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @giladchase)

[orizi]

@orizi reviewed 1 of 1 files at r4, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @giladchase)