I don’t think you can approximate Turing complete algorithms though. And then you end up with a situation where the simulation is making these Turing machines out of other simulated components, so it’s even more overhead then just giving the simulated agents direct CPU time.
You could accomplish the same CO2 reduction with fewer deaths if you start with the richest and work your way down.