Add support for custom modulus in the bigint opcode

[joeandrews]

Problem

Currently the bigint opcode uses a fixed set of 6 templated modulus. This is not generic and prevents developers using the opcode for custom modulus e.g RSA signatures or Curve25519 which requires a custom value.

It also prevents Noir from having U256 integers.

Happy Case

Barretenberg should support custom run time modulus definition.

Project Impact

Nice-to-have

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response

[TomAFrench]

Let's add an issue for this in aztec-packages so crypto can see this @Savio-Sou

[Savio-Sou]

Let's add an issue for this in aztec-packages

AztecProtocol/aztec-packages#4676

[TomAFrench]

Closing this due to above issue + it seems like crypto isn't comfortable with this.