Added doc notes on GC/RR; important background for understanding Disco GC

Rough notes on intuition and reasoning behind GC/RR.  They should be fairly accurate wrt current code.  Please review, clean up, update and massage into docs as you see fit.