Verify Heap-Manager
We have to test the heap-manager, it seems like there is still a bug when polluting the heap (see alongtime.skel). Maybe this is not a problem of the heap-manager but of the code-generator, so the heap-manager is not necessarily buggy.