The garbager must detect cases when a pointer points to a less stable space (from global to local, from stable to instable). We do have such problems (Bug 688222, Bug 688140, Bug 688145), which are hard to diagnose without a special mechanizm.
Patch to HEAD : http://ghostscript.com/pipermail/gs-cvs/2005-October/005765.html The patch has been committed with a disabled stability check due to too many problems it detects.
One more patch to HEAD : http://ghostscript.com/pipermail/gs-cvs/2005-October/005766.html