Test improper calls

[fabrizio-m]

This issue covers test of different permutations of calling prover and circuit functions in different contexts.

• [ ] calling circuit functions inside a circuit inside a prover block inside another circuit.
• [ ] calling circuit functions (that can act on a global) outside of any circuit.
• [ ] calling circuit functions inside a prover block.
• [ ] calling prover functions inside a circuit, outside of a prover block (should fail).
• [ ] calling prover functions inside a prover block inside a circuit inside a prover block.
• [ ] calling prover functions inside a circuit inside a prover block inside a circuit (should fail).

[github-actions[bot]]

Stale issue message