nightly-2024-03-04: feat: skip redundant range checks in brillig (#4460)

# Description

## Problem\*

Avoid codegening overhead for no-op range checks generated by
https://github.com/noir-lang/noir/issues/4456

## Summary\*



## Additional Context



## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[Exceptional Case]** Documentation to be submitted in a separate
PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.