AlignmentFromAssumptions and SLPVectorizer preserves AA and GlobalsAA