More efficient cache representation of node labels

o Previously represented as Set<Integer>, now as int[].
o Also labels are included in sizeOf calculations.