More documentation - fixes to the debugging docs, and added a control flow doc.