More mark-compact implementation, now more memory corruption checking.
Better memory corruption tests (and with them, confirmation of existing memory corruption)