chore!: Make is_less_than range-check stricter#21723

federicobarbacovi merged 5 commits intomerge-train/barretenbergAztecProtocol/aztec-packages:merge-train/barretenbergfrom

fb/stricter_is_less_thanAztecProtocol/aztec-packages:fb/stricter_is_less_thanCopy head branch name to clipboard