Follow up to #21542, now the pickler works the same as Python's in that it outputs memoization IDs for every object. For improved binary size and faster deserialization we should do a pass over all the IValues to be serialized and only memoize the ones that are actually used more than once (similar to pickletools.optimize()

cc @suo