JIT: implement frsqte

Mostly a straightforward translation of the interpreter code, with a few tricksy optimizations and fallbacks for rare paths.
Add tests for that in MathUtilTest.