DAC kill bit is cleared when DK is still asserted in model

From Dave: When h1iopsusex got going again I was surprised to see the DK bit in the state_word cleared itself, even though the DKs were being asserted on each DAC and the SWWD had not been reset.