GC.promote/allow_promote can work in some cases, but I consider it too
ugly; as ugly as OobGC.  It would also be error prone and hard to work
in multithreaded situations.

I would rather have work towards automatic run-time optimizations
(perhaps via online profiling/escape-analysis) than encourage users to
do brittle/ugly things in their code for short-term benefit.