Sorting with split_ors

[roed314]

Currently split_ors runs each query sequentially, appends them all, then sorts the results. It would be better to do something adaptive: run the first query, but then do a streaming heap merge for the remaining, which will come in sorted.

[roed314]

When complete, need to also update Searching.md.