gc_free() expects either NULL or a valid pointer into the heap, so the
checks for a valid pointer can be turned into assertions.