Fix weierstrudel benchmarks #20
Description
I noticed in the weierstrudel documentation that it requires a call with exactly 1 wei of value. This is probably to implement "push 1" as VALUE. Please confirm and fix the transaction in JSON.
{{ message }}