JDK26: Auto Vectorization and Aliasing

Aliasing is one of the biggest obstacles to vectorization and auto vectorization in particular. As we will see further below, it is also relevant for uses of the Vector API.