shrinker checked in

[Matthew Fluet]

> > Here are the results comparing the 20011006 release and the internal
> > versions with ssa and cps optimization.  Compile times for the
> > internal version are of course horrible, because it is the NJ compiled
> > version.   The runtime ratios are all fine except for knuth-bendix.
> 
> Well, it looks like something is leaving around excess allocations; also,
> almost twice the stack size.

Another argument for getting an allocation profiler.