Remove incorrect and unnecessary logic
Remove incorrect and unnecessary logic

The constraint on i_addr update almost certainly was a race that could
cause jumps not to be taken coming out of halt. The constraint on rhalt
update was redundant with the enclosing `_en` constraint.

kulp/tenyr,kulp/tenyr,kulp/tenyr