test(mpz): add unit tests for mpz

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(mpz): add unit tests for mpz