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