Basis reduction.

* If basis reduction is enabled, over-determined systems are not allowed.
* Constant polynomials & duplicates are not allowed in the basis since they do not increase basis dimension.
* Key bit hit ratio computation fixed for cases with decreased number of variables.
* Code cleanup, misc changes.