Add SSA logic for truncate

[kevaundray]

Problem

The truncate operation allows us to do operations on integers lazilly and only reduce the integer modulo its bit-size when necessary.

The necessary reasons to reduce an integer, ie apply a modulo/truncate is:

• When an operation will make it exceed the field modulus
• When an operation or function requires the integer to be canonical.

Happy Case

.

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[kevaundray]

Current plan is to truncate on every integer arithmetic and then optimize this out in later iterations

[joss-aztec]

Truncation is now implemented in a minimal form. Closing as we can open further issues for refining it.