Consider generating `n` 128 bit scalars in the verification algorithms, instead of 1 and computing the vandermonde vector of that challenge

[kevaundray]