Optimizations for the dirty-checking path. Including the case where path observation is overwhelmingly used