Add Z3 encoder for ReadInstr<T> objects