Groth16 snarkjs proof example test (#15277)