Application of gas separation membranes to detritiation systems