Implement the following libfuncs that were introduced in cairo 2.12.0:

• Create: Creates a new gas reserve by withdrawing the specified amount from the gas counter. Returns Some(GasReserve) if there is sufficient gas, otherwise returns None.
• Utilize: Adds the gas stored in the reserve back to the gas counter. The reserve is consumed in the process.