Added row counter log for top and bottom rows of F4 matrices.
Avoided calls for reductions of zero polynomials.
Significant speed-up from choosing sparser and older reducers. This was already implemented, I thought, but it turns out that only applied to siggb, not gb.
Fixed compile-error on gcc 4.6. I suspect it is an error in the compiler, but it was easy to avoid.