Function emit_bigint_mul_verilog 

pub fn emit_bigint_mul_verilog() -> String

Emit the 64×64→128 limb multiplier (the partial product mag_mul accumulates).