Upgrade GPUVerify to a new version that supports Z3 4.3.2
Move mono install to earlier on in the build. We know the required mono
packages now so there's no need to delay installation to very late.
Downgrade GPUVerify one revision. The revision before does not pass
the test suite.