polys: Added a comment about test_benchmark_czichowski_buchberger()
polys: Improved univariate case of Poly{Ring,Element}.drop()
polys: Added support for multivariate dense representation to PolyRing.ring_new()