legion: turning back on region tree deletion when shutting down the runtime for better or worse
legion: turning back on region tree deletion when shutting down the runtime for better or worse

StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion