Building something like this to work with existing code in compiled languages is REALLY HARD. However, take a look at rr and Pernos.co.
I agree it's hard, but it's been hard for the last 3 decades, but not much has happened (with the exception of time travel debugging).
I think debugging tools are just not deemed important enough by many programmers, which is a bit of a shame. Also they require support from compilers, operating systems, and hardware, and this level of integration is hard to achieve - maybe Apple could do it if they had any interest in good debugging tools.