Update CVC4 to the newest release