Compute list/map `cardinality` from offsets for nested lists

### Is your feature request related to a problem or challenge?

#25078 describes this optimization for the simple cast of non-nested lists. For nested lists, it would still be possible but the offset math would be more complex.

### Describe the solution you'd like

_No response_

### Describe alternatives you've considered

_No response_

### Additional context

_No response_

Start by reading issue #25078, which describes the corresponding optimization for simple casts of non-nested lists, then trace how list and map cardinality is currently computed for nested values. Done means extending that approach to nested lists and maps using the required offset math.

Written by the indexing model from the issue text.