However, this fundamental paper proves that observed levels of risk aversion cannot be thus explained.
This paper has come up before, and I still don't think it proves anything of the sort. Yes, if you choose crazy inputs a sensible function will have crazy outputs--why did this get published?
In general, prospect theory is a better descriptive theory of human decision-making, but I think it makes for a terrible normative theory relative to utility theory. (This is why I specified consistent risk preferences--yes, you can't express transaction or probabilistic framing effects in utility theory. As said in the grandparent, that seems like a feature, not a bug.)
Summary: the problem with Pascal's Mugging arguments is that, intuitively, some probabilities are just too small to care about. There might be a principled reason for ignoring some probabilities, namely that they violate an implicit assumption behind expected utility theory. This suggests a possible approach for formally defining a "probability small enough to ignore", though there's still a bit of arbitrariness in it.