But VNM theory allows for bounded utility functions, so if we are designing an agent why don't design it with a bounded utility function?
It would systematically solve Pascal's Mugging, and more formally, it would prevent the expectations to ever become undefined.
VNM theory allows for bounded utility functions
Does it? As far as I know, all it says is that the utility function exists. Maybe it's bounded or maybe not -- VNM does not say.
It would systematically solve Pascal's Mugging
I don't think it would because the bounds are arbitrary and if you make them wide enough, Pascal's Mugging will still work perfectly well.
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.