Rename Z3Encoder to Z3ValueEncoder

Z3ValueEncoder is solely responsible for equality constraints between
events. In contrast, Z3OrderEncoder adds partial order constraints
between these events.