Fix bugs that caused lock-up when stopping Raft. Corrected how we check for overlapping configuration changes. Improved comments.