Alternate mulmod (polynomial multiplication via convolution).  Add BigPoly tests.