nir: add nir_unsigned_upper_bound and nir_addition_might_overflow