ba51cebbdd
Some parts of the UI (e.g., the boolean node) had renamed the 'fast' solver to be the 'float' solver, since with the advent of the manifold solver, it is no longer really right to characterize the float one as the (sole) fast one. This commit finishes the job. It does have the effect of changing the string needed within the Python API to select the float solver, so this is a (minor) API-breaking change.