Support aggregate size computations over list, maps, and structs

[TristonianJones]

To support best cost tracking, introduce version-aware AggregateSize methods
on list, map, and object types.

The implementations currently memoize aggregate size computations
for immutable objects. The aggregate size is capped at uint32 to minimize
the allocation overhead associated with the book-keeping fields on these
objects.

As far as possible, the allocation cost associated computing the size
list, maps, and structs has been reduced to a minimum. The purpose of
having different, or versioned, AggregateSize implementations is to allow
users to tailor which kinds of costs they're willing to consider before giving
up and assigning a maximum size.

1. Amortized / Repeated Calculation (Memoized vs Unmemoized $O(N)$ Traversal)

Value Type	Implementation	$N = 10$	$N = 100$	$N = 1000$	Complexity Class
builtin_list	Built-in (baseList)	4.81 ns	4.82 ns	4.81 ns	$O(1)$ Constant
builtin_map	Built-in (baseMap)	5.01 ns	5.02 ns	5.02 ns	$O(1)$ Constant
custom_list	Custom (traits.Lister)	211.20 ns	1,963.00 ns	19,812.00 ns	$O(N)$ Linear
custom_map	Custom (traits.Mapper)	1,079.00 ns	10,884.00 ns	127,415.00 ns	$O(N)$ Linear

2. First-Time / Uncached Construction & Calculation

Value Type	$N = 10$	$N = 100$	$N = 1000$
builtin_list	222.0 ns (5 allocs)	1,958.0 ns (5 allocs)	19,830.0 ns (5 allocs)
custom_list	416.7 ns (7 allocs)	3,913.0 ns (7 allocs)	37,500.0 ns (7 allocs)
builtin_map	1,043.0 ns (14 allocs)	12,953.0 ns (138 allocs)	145,100.0 ns (1,338 allocs)
custom_map	2,094.0 ns (29 allocs)	23,677.0 ns (288 allocs)	277,112.0 ns (2,838 allocs)

3. Tree Nesting Complexity ($W^D$ Total Nodes)

Test Case	Nesting Depth & Width	Total Node Count	Time per Op	Memory Allocs
builtin_nested_list	Depth 2, Width 10	110 nodes	4.81 ns	0 B/op, 0 allocs
custom_nested_list	Depth 2, Width 10	110 nodes	2,364.00 ns	704 B/op, 22 allocs
builtin_nested_list	Depth 3, Width 10	1,110 nodes	4.81 ns	0 B/op, 0 allocs
custom_nested_list	Depth 3, Width 10	1,110 nodes	24,773.00 ns	7,744 B/op, 242 allocs