air: Add differential soundness tests for HORNERBASE/HORNEREXT constraints after the degree-3 reduction; use ExecutionTrace::check_constraints() + Rust reference evaluator