[nayefc]

Hey sax, I have a comment. Most people will stop reading at:

Bisect allows users to test program state against expected values. Tests results are used as bisection READING STOPS HERE points to narrow-down towards the root-cause of the underlying issue.

The top three paragraphs still don't really explain what this does. Summarize, and show an example. That way, people will use it and come back to it.

[sax]

Nayefc, thanks. Your comment was enlightening and makes total sense. Will fix.