I will suggest the way to handle the after-the-fact coin flip bet is to make the natural extension to sufficiently similar computations.

It might be nontrivial to do this in a way that doesn't automatically lead to wireheading (using all available power to simulate many extremely fulfilled versions of itself). Or is that problem even more endemic than this?