Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking