Improve generation of mutability checks
Remove stale debugging code
Fix accounting of permanently allocated objects
Allocate as permanent objects symbols created when loading dynamically loadable object files