refactor: rename Tactic.sym.debug traceclass to avoid confusion with the option of the same name.

refactor: rename Tactic.sym.debug traceclass to avoid confusion with the option of the same name. #350