Combine ACVM and Nargo bitsize checks

[michaeljklein]

Problem

Running ACVM bitsize checks that throw errors prevent existing Nargo errors for addition and bitwise operations from being thrown:

• ACVM error: FunctionInput value has too many bits..
• Nargo error: attempt to add with overflow

To prevent this regression, bitsize checks introduced in #5864 are disabled for:

• Bitwise operations
• Range check operations

See discussion for more details.

Happy Case

• When an attempt to .. with overflow error is thrown, catch and validate the associated ACVM too many bits error
• Re-enable bitwise and range operation bitsize checks in ACVM
  • Remove the skip_bitsize_checks parameter from input_to_value in ACVM

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

Nice-to-have

Blocker Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response