What I want to see is a rigorous argument for or against cryonics over popular value systems. I'm not sure that even EA over all existing universes would say to get it.

Ok, I misunderstood what you were referring to when you were talking about the proof. Please PM me if you ever formalize it; I'd like to read it.

Anyways, I see our utility function are radically different. I suppose there's no use arguing about them.