Add tests for new internal GMP primitives

See [ce8ec963/integer-gmp] and [97c101b7/integer-gmp] for more details