i don't recall anyone mentioning this, but none of the benchmarks take advantage of AVX is that correct?

I would expect a rather large performance increase if AVX was used.