Use Berkeley TestFloat

### Motivation

https://www.jhauser.us/arithmetic/TestFloat.html can be used to help validate fp components. ROHD-HCL should setup
some infrastructure to leverage this capability.

### Desired solution

Integrate testfloat somehow, perhaps as a submodule and create parsers for its output to drive ROHD testbenches for FP
components.

### Alternatives considered

Extracting corner cases by hand as random tests in FP rarely hit extremes that cause failures. Still, compliance with testfloat
could be quite useful.

### Additional details

_No response_