[analyzer] Fix an infinite recursion in region invalidation by adding block count to the BlockDataRegion.