JTAG_master class: document need for manual setting of state after using change_state...