only set SC state change flag when memory was written #696
Description
Currently, the state change flag is set whenever a procedure, read: non-function, is called, irrespective of whether the procedure really wrote to the state. This may cause some unnecessary state digest computations.
The goal of this task is to add functionality to detect writes to the SC state.
Suggestions:
- encapsulate SC state memory in some way (class/struct), s.t. setter functions need to be called
- since types of state variables are anyways limited, overload assignment operator to set state change flag accordingly