Have SCEV turn sext(x) into zext(x) when x is s>= 0. This applies many times in