Improve strided access vectorisation

Use scalar evolution expander to avoid limiting ourselves to just what
is already on IR.

Note that this needs further improvement because this is not using VPlan
correctly.

Add a couple of tests.