Add more tests to improve coverage. Fix bug in mpz.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>