DSE: Better error handling for DSE backends
When a DSE backend fails, currently an (empty) ExplorationSolution
is expected. The downside of this approach is that the internal error of the respective backend is hidden from the user (e.g., out of memory, external solver executable not found, etc.).