GC.check

Verify that pointer p: 1) belongs to this memory pool 2) points to the start of an allocated piece of memory 3) is not on a free list