Context

This MR introduces a type parameter to the node context to track when the store and context are read and written.

This allows for instance to make explicit that RPCs only read the context (except for the proof production helpers which can commit in the index).