[Attributor] New attribute to identify what byte ranges are alive for an allocation (#66148)

Changes the size of allocations automatically.
For now, implements the case when a single range from start of the
allocation is alive and the allocation can be reduced.