Use vectorclock for snapshottime
Wait until local vectorclock reaches snapshottime before reading
Fix use of vectorclock in interactive tx coordinator
Use prepare time to identify active transactions
Assign snapshot time from  current vectorclock
Fix formatting