SubArray: infer contiguity, skip multiply in indexing

This seems to fix the vectorization issue described in #9322. CC @simonster.