[DAG] combineShiftToAVG - ensure the reduced demanded value type is smaller than the original.

Now we have promotion support we should be able to remove the next-power-of-2 code entirely, but this is good enough for now.