Verifier Fails in problem size 16, 17 and 18

[bh2smith]

Based on the Profiler script

dizk/src/main/java/profiler/scripts/profile.sh

Lines 8 to 11 in 81d72a3

	for TOTAL_CORES in 8; do
	for SIZE in `seq 15 25`; do
	export APP=dizk-large

with APP=zksnark-large

and size range limited to 15..19 we get the following output file

Verifier-for--4exec-2cpu-10mem-16partitions.csv

Size (inputs),Verifier (sec),isValid
32768,0.957887561,1
65536,1.446744197,0
131072,0.977929921,0
262144,1.144847189,0
524288,0.917492237,1