Add a missing SCEV simplification sext(zext x) --> zext x.