code: def viz_trace(view):
      
      tv = TraceVisualizer(view, None)
      if tv.workspace is None:
          tv.workspace = get_workspace()
      tv.visualize()
docs: Given a Manticore trace file, highlight the basic blocks.