Setup helper function that also provides s1 in evaluation form

[protolambda]

I think it's better not to duplicate the code, and instead wrap the existing setup function in the verkle-trie implementation, to add the FFT step.

[gballet]

No problem, closing.