Add type checks to sturct construct destructure optimizations.

[ilyalesokhin-starkware]

This change is 

[orizi]

Reviewed 2 of 2 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ilyalesokhin-starkware)

[ilyalesokhin-starkware]

Not needed.
Was already checked by the semantic module.

[ilyalesokhin-starkware]

It is needed since the construct comes after the deconstruct.

[ilyalesokhin-starkware]

Reviewable status: 0 of 4 files reviewed, all discussions resolved (waiting on @orizi)

---

crates/cairo-lang-lowering/src/optimizations/return_optimization_test.rs line 50 at r2 (raw file):

    before = lower_panics(db, function_id, &before).unwrap();
    reorganize_blocks(&mut before);
    optimize_remappings(&mut before);

this was also a bug
optimize_remappings should come first

Code quote:

    reorganize_blocks(&mut before);
    optimize_remappings(&mut before);

[orizi]

Reviewed 4 of 4 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ilyalesokhin-starkware)

[ilyalesokhin-starkware]

Reviewed 4 of 4 files at r2.
Reviewable status: 3 of 4 files reviewed, all discussions resolved (waiting on @orizi)