Improvements for RANSAC

Backwards-compatible, same behavior as before.
This description makes it sound like RANSAC can tell whether an inlier set has been sampled.  It is not easy, based on these instructions, to choose a value for `stop_probability` -- can we think of a way to make that easier for he user?