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.