debug tool: write a pranker that pranks all cells that are equality constrained

[jonathanpwang]

A problem with pranking just one cell is that equality constraints won't be satisfied so it's hard to know if you're actually checking a missing constraint elsewhere. If we write a "smart pranker", that would fix this.

[sanjay-sol]

Hey @jonathanpwang Can I work this issue? Unless you almost done working on it !

[adamsmo]

Hi
I implemented smart prank:
https://github.com/adamsmo/halo2-lib/pull/1/changes#diff-2a9dc466b856ac3d02637cc28dbbcd02027515011a71477d3ff32df962a7f68eR112

I added few tests to check for circular equality, equality with constants, and few other

can I open a PR agains this repo?