Would it be possible to use these techniques on the various JITs that are used in Firefox/Cheomium? How hard would that be? The work you folks are doing is wonderful.
I did my Master's dissertation on superoptimization and the JVM. Tl;Dr managed to find shorter versions of simple Java math functions fairly easily, didn't prove they were any faster or better.