Restore the FFI solver

It’s safe-ish now and more robust.
Bump funsat dependency version number