Test IPA verification with polynomials of 11 - 14 variables

[storojs72]

#51 adds IPA verification over Grumpkin. Successful verification is tested using polynomial with 2 variables. It is rather interesting and useful to test it over polynomials with 11-14 variables as they are closer to real verification settings (Lurk proofs). If they will produce OutOfGas, we can reduce number of variables and wait for a CycleFold

[storojs72]

With lurk-lang/arecibo#341 it is possible to generate IPA test-vector for various number of variables. There was detected that KeccakTranscript produces different r_vec using 3 and more variables and therefore, wrong values of P_hat_right and P_hat_left are compared at final verification.

Another detected bug is triggering following assert, when 5 and more variables are used.