> I think the biggest issue is that auto vectorization would need a programming language that is designed around it.

I don't think that's correct.

The compilers I work with do a pretty decent job of auto-vectorizing the inner-most loops of an algorithm, especially if they know the loop bounds at compile-time.