fixed the bug in the permutation

[Soleimani193]

This PR addresses an issue in the permutation-query.
for the multi-column cases, the Z polynomial nominator and dominator were both built based on the same polynomial A (rather than A against B). Causing the verifier to accept false claims over multi-column cases.

More test cases are added to cover the false claims that we don't expect the verifier to accept.

Checklist

• I wrote new tests for my new core changes.
• I have successfully ran tests, style checker and build against my new changes locally.
• I have informed the team of any breaking changes if there are any.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 70.46%. Comparing base (d86aa9a) to head (84134b3).
Report is 1 commits behind head on main.

Additional details and impacted files

@@             Coverage Diff              @@
##               main     #155      +/-   ##
============================================
+ Coverage     70.39%   70.46%   +0.06%     
  Complexity     1040     1040              
============================================
  Files           282      282              
  Lines         11312    11314       +2     
  Branches       1082     1082              
============================================
+ Hits           7963     7972       +9     
+ Misses         2882     2875       -7     
  Partials        467      467              

Flag	Coverage Δ
hardhat	98.70% <ø> (ø)
kotlin	67.94% <ø> (+0.07%)	⬆️

see 4 files with indirect coverage changes