Add parallel execution test.
Update eqc model.

Update model to correctly represent reads and binds.  Ensure the model
only ever changes when a bind is a initial set of a value, or an
inflation.  Ensure the read operation always returns the value expected
from the model.