Fixed concurrent updates on PCE reachabilities
Fixed concurrent updates on PCE reachabilities

Moved mutable state to STM to track the last modified reachabilities
from the PCE.

BandwidthOnDemand/nsi-safnari,BandwidthOnDemand/nsi-safnari