Add gas_reserve_create libfunc.

[liorgold2]

Stack:

• Add GasReserve test. #7758
• Add gas_reserve_utilize libfunc. #7757
• Add gas_reserve_create libfunc. #7756 ⬅

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

[reviewable-StarkWare]

This change is 

[orizi]

Reviewed 13 of 13 files at r2, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @liorgold2)

---

crates/cairo-lang-sierra-to-casm/src/invocations/gas_reserve.rs line 49 at r2 (raw file):

        HasEnoughGas:
        assert gas_minus_amount = *(range_check++);
    };

consider extracting and reusing at build_small_diff

Code quote:

    add_input_variables! {casm_builder,
        buffer(1) range_check;
        deref gas_counter;
        deref amount;
    };

    casm_build_extend! {casm_builder,
        let orig_range_check = range_check;
        tempvar has_enough_gas;
        tempvar gas_minus_amount = gas_counter - amount;
        hint TestLessThanOrEqual {lhs: amount, rhs: gas_counter} into {dst: has_enough_gas};
        jump HasEnoughGas if has_enough_gas != 0;

        // Failure. Prove that gas_minus_amount < 0.
        const u128_bound = (BigInt::from(u128::MAX) + 1) as BigInt;
        tempvar tmp = gas_minus_amount + u128_bound;
        assert tmp = *(range_check++);
        jump Failure;

        HasEnoughGas:
        assert gas_minus_amount = *(range_check++);
    };

[orizi]

Reviewed 3 of 3 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @liorgold2)