feat: avoid overflow check when subtracting from a value that is the maximum for its bitsize#8190

TomAFrench merged 5 commits intomasternoir-lang/noir:masterfrom

ab/checked_unchecked_sub_from_max_for_bitsizenoir-lang/noir:ab/checked_unchecked_sub_from_max_for_bitsizeCopy head branch name to clipboard