Halt state may not be preserved across reset. (#504)

* Halt state may not be preserved across reset.

It's not necessary to have this requirement, since there are other
mechanisms to ensure harts halt out of reset if that's what the debugger
wants.

Fixes #357.

* Slight rephrasing.