That's a good idea.  It's certainly cleaner than the approach I took (optionally pass in to marshal.dumps() the list of "before" object/refcount pairs to compare in w_ref()).

Adding a flag to marshal.dumps() to opt out shouldn't be too big a deal.  (I expect all users of marshal will want the improvement by default.)