Very very impressive work. I wonder if it would be feasible for vendors to implement the interpreter in hardware in future.
In another project [1], I found a 2-6x speedup in going from an interpreter to a fully-compiled shader, so this can make a huge difference!