Vector binary search performance (ps/elt)
- By keeping track of whether the target was ever equal to one of the bounds, the same algorithm can be used to implement Membership
- To implement Index-Of, we need to sort the principal argument but keep a grade to look up the indices afterward
- The algorithm extends to any number of vector registers, but is linear-time instead of logarithmic after the first