Provide visualization of search space for debugging

[varrodan]

To enhance the debugging capabilities of the model generation process, the search space chould be visualized

• where each state (i.e. a partial model) is visualized as a graph
• the search tree can be visualized at each intermediate step of model generation or for an entire model generation run

This feature could reuse the existing visualizer of the final instance models.