Ensure Winterfell generated codegen can be proven and verified

The folder `air-script/tests` contains many tests that produce wintefell AIR constraints for given AirScript programs. The .rs files compile, and we can verify that a given trace validates the constraints described in the Air (done in https://github.com/0xMiden/air-script/pull/388)
However, the tests do not include the [full Prove / Verify workflow](https://docs.rs/winterfell/0.12.0/winterfell/).
When trying to prove e.g. binary.rs, we seem to have a mismatch in actual and expected transition constraints degrees.