Update to newest version of CVC4