Ensures frontend.Compile picks up unconstrained inputs

[gbotrel]

Example: circuit defines a public input A, and overwrites it in the Define with something else.

A is never constrained, resulting in infinity points in the VerifyingKey (groth16), hence accepting all inputs.

gnark frontend should catch these programming mistake, if possible in the frontend.