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.