AVX512: scatter, float/half conversions, misc TODOs