Shenandoah: Document behavior of EvacOOM protocol

When we experience OOM during evacuation, a special protocol assures that all threads see the same version of every object. This protocol is subtle and correctness is very important. Better documentation of the protocol will facilitate future maintenance and performance improvement.