Make sure search result ordering is deterministic.

This was abritrarily differing when hits shared identical scores.