fix: defer overflow checks for unsigned integers to acir-gen

fix: defer overflow checks for unsigned integers to acir-gen #11087