Upgrade GPUVerify components (including CVC4). We now pass the testsuite
:)