groebnerBasis: only call mgb if coeffs are ZZ/p; remove debugging