Verifier Fails in problem size 16, 17 and 18

[bh2smith]

Based on the Profiler script

https://github.com/scipr-lab/dizk/blob/81d72a3406e2500561551cbf4d651f230146bb92/src/main/java/profiler/scripts/profile.sh#L8-L11

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