Function trace_lines 

pub fn trace_lines(k: &Kernel, results: &[Words]) -> String

The golden results of results as emit_trace_testbench prints them: one line per operation, <op> <port hex>..., each port in hex at its contract width.