Fix: don't use step feature_flags for wrap evaluations

[mrmr1993]

This PR fixes o1-labs/o1js#1336 (using o1-labs/o1js#1335 as the repro case).

The underlying issue was that we were using the feature flags for the step circuit when reasoning about the contents of the wrap proofs. In particular,

• when the circuit uses a feature
• and it uses recursion
• then it expects that feature to be used by the wrap proof that it recurses over (even though wrap never uses any custom gates).

This PR fixes that by hard-coding Features.Full.none.

[dannywillems]

!ci-build-me