Use saturation to improve data-based synthesis performance

Data-based synthesis should (have the option to) use the saturation search strategy for symbolic reachability, as it has performance benefits over the chaining strategy which is the default now. JavaBDD 8.0.0 now has built-in support for saturation.