[hammer] fix tactic ordering

Fixes #105 (closed)

Also changes Crc.state into Crc.status which is more readable.

Also warn once for unknown or non-tactic transformations.

Also back to normal exploration when tactic is not found.