Fix hardware floating point for jit

[swatanabe-b1]

• Fix a number of issues where handling of NaN was different from softfloat.
• Add tests to verify identical behavior with softfloat.
• Add a template parameter to control softfloat vs. hard float
• Allow hard-float for the interpreter with caveats.