This ensures that both the midend and backend see consistent values for VecLib, so that for example frem can be selected correctly. The test involves running the front-end, midend (to vectorize) and backend to prove it can lower the vector frem call. Fixes #172483