Function emit_wprog_testbench 

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

A self-checking testbench for the whole-program engine: for each param vector, pulse reset, run the FSM to done, and compare result to the eval_wprog_config oracle in wprog_{name}_out.hex (params in wprog_{name}_in.hex). Proves the RTL — register file + block walk + FRAME STACK — matches the model.