Ward pointers and garbage collection