Function emit_trace_testbench_as 

pub fn emit_trace_testbench_as(
    k: &Kernel,
    m: &str,
    ops: usize,
    max_cycles: u64,
    max_idle: u64,
) -> String

emit_trace_testbench around the harness module m — one emitted by emit_harness_as.