polys: additional tests for modulargcd