Function emit_wprog_engine_testbench 

pub fn emit_wprog_engine_testbench(
    name: &str,
    n_params: usize,
    n_vectors: usize,
) -> String

A self-checking testbench for the generic config-driven engine: it loads the params, pulses reset, runs to done, and compares result to the eval_wprog_config oracle in wpe_{name}_out.hex (params in wpe_{name}_in.hex; the program image in the wpe_{name}_*.hex config memories the engine loads).