refactor(library/tactic): remove unnecessary tactic_exception

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/tactic): add trace_state_tactic

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>