Now builds with CUDA using nvcc, framework per index thread based proof computation in place