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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix interval::acosh and add more tests on interval to improve code coverage