FP tests for Z3Legacy are currently disabled (all of them).
Also, there are some FP problems that need to be investigated. (Mainly in Z3LegacyFormulaCreator::convertFloatingPoint it seems)
This should be done after PR #513, as it already modifies/improves FPs in Z3Legacy.
