Decrease the linear search limit from 20 to 5, in the test case I'm
using: a value of 20 is slower than binary search alone, 10 is roughly
the same, and 5 is faster.  This makes sense, pre-fetch isn't as
important as avoiding comparisons, and so it benefits us only after
we've extracted most of the value from the binary search.