CIF/BDD: The saturation exploration strategy should support termination requests

Currently saturation does not handle termination requests from users. Once the debug callback functionality from #957 (closed) has been completed, we can probably use this callback mechanism to let JavaBDD throw an exception when termination is requested, to stop any further BDD operations, that can then be catched in CifBddReachability and processed further.