AVM circuit - STATICCALL context: enforce unauthorized side effects

[jeanmon]

All the opcodes that create new things (note hashes, nullifiers, new messages, storage writes, ulogs) need to raise the error flag if they are called within a static call.