Specify how and when state_root updates occur in contract outputs

[Voxelot]

Similar to balance_root, state_root needs to be set on the appropriate contract output whenever an opcode that alters the state root happens. This could be something like:

Add "This modifies the stateRoot field of the appropriate output(s)." to the following opcodes:

• SWW
• SWWQ