Fix vectorizer docs.

This example is not vectorized because LLVM does not prove no-wrapping of
"a[i*7] += ...".