More value checking in pycryptosat