Timer nullpointer due to race condition during update

If the timer fires at the same time as an update it results in the child being propagated twice. We need to synchronize to ensure that this does not happen. The update should cancel the timer, so it doens't try and schedule a propagation.