Update src/CMakeLists.txt to include 'TESTCOV' build
Update README.md to include instructions for tests, coverage, and doxygen
Add more tests to improve coverage. Fix bug in mpz.

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