Making HNSW actually work with WHERE clauses

Transparent filtered vector search in DuckDB, or: why post-filtering is broken and what to do about it.