* Check if an element might be in the filter * @param value The value to check * @return true if the element might be in the filter (may be

ctx contains most of memory, delete it to free memory for quantizer code flush */

destroy() runs at end-of-build from the leader thread after worker * join, so no contention here. */

thread-unsafe, we don't expect read/write to occur under destroy() */