only vectorize the RNG symbols if the loop was vectorized

14 jobs for random-vectorization in 40 minutes and 41 seconds (queued for 5 seconds)