Added assertion failure in mpir

When debugging is enabled, this example causes an assertion failure.
As far as I can tell, the resulting Groebner basis is still correct though.