Add Public Input Fuzzing Test

[bhgomes]

To ensure that public inputs are utilized correctly inside the circuit, we should test that passing random public inputs (unequal to the correct ones) always fails to produce valid proofs.

For a given $\pi : \textsf{Proof}$ only the exactly correct public inputs should verify. The $\textsf{verify} : \textsf{PublicInput} \times \textsf{Proof} \to \textsf{Bool}$ function should always fail on the wrong public inputs.

Fuzzing Strategy:

1. Public inputs are field elements, so try to change them randomly (modifying a bit in a random position for a random element)
2. Completely random public input

The test should first be written in manta-pay. Then you can generalize it to any OpenZL system.