Added an explanation for Fig 3 and why it seems to be incorrect as a
counterexample. Major change includes separating out the fix_successor
(update), reconcile (fixing successor list), and fix_predecessor (flush)
to run at specifiable times, or according to their own independent schedules.