binarysort() cleanup:  Documented the key invariants, explained why they
imply this is a stable sort, and added some asserts.
1 file changed