Add GC verification section