0xMiden/miden-vm

AI Summary: Create a new `drop_stack` procedure within the `std::sys` module of the Miden VM's standard library. This procedure should simply execute four `dropw` instructions to efficiently clear stack overflow, replacing the repetitive `dropw dropw dropw dropw` sequence currently used in assembly programs.

AI Summary: The task is to modify the `ExecutionOptions::default()` function in the Miden VM project to ensure its `max_cycles` value aligns with the `MAX_TX_EXECUTION_CYCLES` constant defined in `miden-base`. Currently, the default uses `u32::MAX`, which exceeds the allowed maximum, causing an error. The fix involves changing the default `max_cycles` to the correct value from `miden-base`.

AI Summary: The task is to remove the unused `AdviceProvider::get_leaf_depth()` function from the Miden Virtual Machine project. This involves identifying the function, confirming it's not used anywhere in the codebase, and then safely removing it along with any associated code or documentation.