Adding more debug to test_pycryptosat