debugging: added an (expensive) assertion to check GC objects in current stack upon trace exiting. thanks Mike Pall.