Rewritten heuristic and PRS GCD for univariate polynomials, added benchmark.