GraphPathRecord computes the size eagerly, while this is not always needed. In some cases, users never call size(), and this wastes time. size() should not change over time, so it can be lazy.