On: Using invariants in Binary Search code

[RiderOfGiraffes]

I've been asked to write something more complete and more substantial on this topic, so I thought I'd make an earlier short piece available to see what people pick up on, and hence help direct my focus.

Think of this as the first step of "Release Early ..."