Correct cost model for vector shift on AVX2