Changing wording of isle problems: rate --> probability
Merge branch 'master' into jonwetzel
Added new functions for figuring out if nodes are correct AND match the author's model.
Adjusted lessons learned to use the new correctness check too.