Add read FSM.

Add a finite state machine for reads, which uses the uploaded module to
define the merge logic for divergent values.