An Empirical Comparison of FAISS and FENSHSES for Nearest Neighbor Search in Hamming Space