_magMulWide
private fn
void _magMulWide(ref ubyte[32] dst, in ubyte[16] a,
in ubyte[16] b) @safe pure nothrow @nogcMultiplies two 16-byte magnitudes into a 32-byte product (schoolbook, base-256; cannot overflow: product < 2^256).