Update GPUVerify components.