Add Z3 encoder for WriteEvent<T> objects

* Shorten dereference read instruction class name
* Add Z3WriteEncoder for DerefReadInstr<T>
* Add Z3Encoder that aggregates Z3ReadEncoder and Z3WriteEncoder