Update CVC4 version, fixing a known bug

Improves #99