Implement the 'trivially retained size' metric.

The trivially retained size is the size of an element
plus the sizes of all the elements that are guaranteed
to only be reachable from that function.  This algorithm
should not give any false-positives, but it may choose not
to account for elements that should actually be added.
Merge branch 'trivial'