feat: Add overflow and underflow checks for unsigned integers in brillig

feat: Add overflow and underflow checks for unsigned integers in brillig #8740