implement consistency invariant checking
log session histories to a file
implement session histories build
change session history to be keyed by sessionID
implement req history build
have servers return sessionID and timestamp for read commit events
implement building a global write history
test client and internal log parsing