Compiling BaseUltraVerifier without optimizations results in StackTooDeep

[phated]

When copying the verifier contracts into Remix IDE, it errors with StackTooDeep. This goes away when optimizations are enabled (they are disabled by default).

[LHerskind]

If I recall correctly, this should be solved by #12 which flattens the yul. Will do a rebase and assign someone not Zac to review it so it can get in.

[TomAFrench]

Closed by #12

[TomAFrench]

Seems like this is still an issue

[phated]

Still happening in Remix with the error Variable p is 1 slot(s) too deep inside the stack.