[Feature]: Verify `static_call` is not able to call functions that modify state

[0xNeshi]

What is the feature you would like to see?

Currently the implementation is the same as for regular call, we should ensure it behaves as is expected of a static call (non-modifiable)

Contribution Guidelines

• I agree to follow this project's Contribution Guidelines