Add range constraints for bounded integer params to main

[joss-aztec]

Problem

Params to main that aren't unbounded field elements need to have range constraints applied consistent with their bit widths.

Happy Case

This can be done via casting

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[kevaundray]

@guipublic can you check that this is completed?

[guipublic]

I am closing this issue, range constraints are added for main parameters when handling block parameters in acir_gen.