tenet: Trace Explorer for Reverse Engineers