Refine & simplify index update algorithm

- get rid of explicit consistency tracking for simplicity
- use fixed update windows leveraging idempotency in index updates, with
  overlap in siblings to keep index consistent with high probability even if
  some updates fail
- cover remaining inconsistencies in past with read repair