Document use of params for sound proof generation, with counter-examples.

[jzaki]

In hackathons there are often submissions that generate proofs, but can be misused to either prove different things or not uniquely prove what their solution proposes. Allowing a bad actor to either affect other users, or just advantage themselves.