Work with latest gpuverify toolchain
Changes for CUDA version of Blelloch with current toolchain
Update for current toolchain
Bring up to date with current toolchain