We do not currently generate the AVX512 saturating_add or saturating_sub instructions, instead we generate multiple calls to the AVX2 variants.

This was noted on a significant performance loss on AVX512 using the absd optimization from #6545 , which was traced to not properly generating saturating_sub AVX512 instructions.