They are extensive because 1-particle operators are additive when applied to disjoint systems, and the log of the expectation of an exponential (which defines the cumulants from the partition function) is additive, too.
Size-extensivity is a necessary condition for the applicability of quantum estimates to large quantum systems, since without it not even a noninteracting large system is described correctly.