Function emit_bigint_div_testbench 

pub fn emit_bigint_div_testbench() -> String

Emit the divide block’s self-checking testbench: drive bigint_div, wait for done, and check quotient+remainder against the native 256-bit unsigned a / b / a % b reference over edge cases plus a 2000-pair random sweep. PASS iff all match.