commutative reconciler detection

[tgoodwin]

if two reconcilers have disjoint read/write sets, detect this

• could use static analysis of the Reconcile() routine to compute reads + writes
• then, factor this into perturbation config