updated/improved IllegalStates.lhs

More discussion on canary combos for larger FSMs, and a much improved
version of canaryOrCombos