Update fault-tolerant network example to use AsyncCounter.