Add floating-point unit tests inspired by FPgen

[RyanGlScott]

In order to gain confidence that copilot-bluespec's implementation of floating-point operations is correct, we should add a volley of unit tests inspired by the FPgen library. FPgen doesn't cover all possible floating-point operations, but it does cover many of the common ones.