We did look into disassembly, but decided that it's far too much work because it is not portable across languages and drivers, and would require an enormous eng

We did look into disassembly, but decided that it's far too much work because it is not portable across languages and drivers, and would require an enormous engineering effort (both for ourselves and for community driver maintainers). From a purely theoretical POV, I do like the idea of disassembly better, but unfortunately we couldn't make this work and remain pragmatic.