Released latest version of GPUVerify IDE which includes certain fixes.