This doesn't match the experience of GC'd languages. I've never heard of problems in practice that arose from treating all values present on the stack/registers

This doesn't match the experience of GC'd languages. I've never heard of problems in practice that arose from treating all values present on the stack/registers as GC roots, even if those values are dead in the data flow sense.