pub unsafe fn max_f64_avx(a: &[f64]) -> f64
Maximum of f64 slice using AVX (v1).
Caller must ensure AVX is available on the current CPU.