doc: Update/rewrite description of control-flow instruction, cleanups.