Issue: Slow constraint validation and poor diagnostics in tests

Issue: Slow constraint validation and poor diagnostics in tests: a task in LegoFlow-SWE (Harbor dataset). Currently, testing whether an execution trace satisfies all AIR constraints requires the full STARK prove-and-verify pipeline ( prove and verify ). This is orders of magnitude slower than…