This method tries to copy an obj (`o` in this method) to a new address.

It uses `oop new_obj` to denotes the new object. However, it's not a valid oop until the copying is finished. I suggest using `HeapWord* new_obj_addr` to denote the address of the new obj, which removes many cast_from_oop/cast_to_oop conversions.