Provably Sensitive Indexing Strategies for Biosequence Similarity Search | Synapse