GC assertions: using the garbage collector to check heap properties