Check/NewX.hs.tpl : Add tests for quotRem/divModInteger on big Integers.

This also limits the size of Arbitrary generated Integers because it
was segfaulting. Need to revisit this.
New4 : Make quotRem/divModInteger work on big Integers.

These functions now work, but are probably far from optimal.