Integrate LogUp-GKR into the VM (#1493)

* chore: fix no-std errors

* wip

* wip: migrate to new winterfell

* wip: migrate to logup-gkr branch of winterfell

* chore: fix issues after next rebase

* wip: migrate range checker to use logup-gkr

* wip: remove random row values

* wip: remove range checker b-column from aux segment

* chore: remove random trace rows at the end

* chore: remove random trace rows at the end (continue)

* chore: remove range checker from aux trace (continue)

* chore: adapt to  updated AirContext

* fix: clippy

* chore: update to changes in Winterfell

* fix: clippy

* changelog

---------

Co-authored-by: Philippe Laferriere <plafer@protonmail.com>

CHANGELOG.md

@@ -13,6 +13,7 @@
 - Added `miden_core::utils::sync::racy_lock` module (#1463).
 - Updated `miden_core::utils` to re-export `std::sync::LazyLock` and `racy_lock::RacyLock as LazyLock` for std and no_std environments, respectively (#1463).
 - Made the undocumented behavior of the VM with regard to undefined behavior of u32 operations, stricter (#1480)
+- Offload the range checker auxiliary table to LogUp-GKR (#1493)
 - Introduced the `Emit` instruction (#1496)
 - Debug instructions can be enabled in the cli `run` command using `--debug` flag (#1502)
 - [BREAKING] ExecutionOptions::new constructor requires a boolean to explicitly set debug mode (#1502)