Faster KNN search in Manticore: 2-pass HNSW, batched distances, and AVX-512

TL;DR: Three changes to the HNSW search engine improve KNN throughput by up to 29% at high k, with over 20% gains under concurrent load.