RG.v: define stability and prove some lemmas from the LRG paper
RG.v: define stability and prove some lemmas from the LRG paper

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl