does lazySet imply that on the next trip through the while loop over in ReadOnlyServerEngine, you might not be guaranteed to get the latest state from nextStateRef.get ? or is there some other synchronization that forces that get to get this?