Split out a lemma
Valuative criterion proper + cdvrs + algebraic spaces
Proper is local on the base for formal algebraic spaces
Getting proper dilatations