Let G be the benefits of climbing Mt Everest, and let E be the (rather horrific, I think) burdens. Let us grant that it's not contrary to virtue (prudence in this case) to achieve G for oneself at the expense of suffering E. One way to say this is like this: E-for-me is proportionate (or not disproportionate) to G-for-me relative to me as an agent. I will abbreviate "E-for-x is proportionate to G-for-y relative to z as an agent" as "P(E,G,x,y,z)." So the above claim is: P(E,G,I,I,I).
On the other hand, it would be disproportionate for me to achieve G for myself at the expense of your suffering E (in the Mt Everest case, after all, E is weeks of hard labor, frostbite, danger, etc.). Thus, ~P(E,G,you,you,I). (The utilitarian, on the other hand, thinks that P(E,G,x,y,z) iff P(E,G,x',y',z') for any x,y,z,x',y',z'. But she's wrong about that.) Interestingly, it would also be disproportionate for me to achieve G for you at the expense of your suffering E (without your permission, that is--I shall take it for granted in all the discussion that there is no consent).
Let "p(x,y,z)" be the "proportionality standard" for permitting burdens to x that are the cost of benefits to y as produced by agent z. We can think of p(x,y,z) as the set of all pairs (E,G) such that P(E,G,x,y,z). Any such pair (E,G) is said to be "allowed" for (x,y,z). We can then compare proportionality standards by stringency. A simple and precise way is to say that p(x,y,z) is at least as stringent as p(x',y',z') iff anything that is allowed for (x,y,z) is allowed for (x',y',z'). However, it may be necessary to modify this, as there may be some pairs (E,G) that need to be special-cased. So, let's say that p(x,y,z) is at least as stringent as p(x',y',z') iff typically a pair (E,G) allowed for (x,y,z) is allowed for (x',y',z').
I think that thinking about the Mt Everest case suggests that if x, y and z are mutual strangers, then p(x,y,z) and p(x,x,z) are much more stringent than p(x,x,x) or p(x,y,x)--it is much easier to justify my imposing a burden on me than for another to justify imposing that burden on me.
Now, here is where the philosophy of religion comes in. Question: Where do p(x,y,God) and p(x,x,God) rank in stringency?
I have the intuition that p(x,y,God) and p(x,x,God) are no more stringent than the fairly lax p(x,y,x) and p(x,x,x). In other words, it's no harder for God to be justified in achieving a good (for myself or another) at an expense to me than it would be for me to be justified in achieving a good at that expense to me. While I think what I said is plausible, I am a little more comfortable with this in the case of p(x,x,God). (p(x,x,z) are the standards for z's paternalism with respect to z, and I think God has the right to be the ultimate paternalist.)
Intuitively, p(x,x,x) is a fairly low standard. After all, the costs of climbing Mt Everest are very, very high, and yet p(x,x,x) justifies these costs for the sake of goods that are not, perhaps, incredibly great. If p(x,x,x) is also the standard for deciding in theodicy whether God was permitted to achieve a good at the expense of a certain cost, then that should make theodicy easier than if the relevant standard were like the more stringent p(x,x,z) or p(x,y,z) (where z is a stranger to x).
But what I don't at present have is much in the way of an argument that p(x,y or x,God) is like p(x,y or x,x), apart from hearing at the back of my mind a maxim that God is closer to us than we are to ourselves. If you can supply an argument or refutation, I will be grateful.