Added gpuverify config.
Corrected mistake in KLEE script.