Improve states output format

[origamimagiro]

Currently, we compute and store each assignment found for each component in an array. We should be able to considerably compress this output by storing a decision tree instead, only storing each guess list once, preferably branching on larger guess lists first. May also be able to use such information to identify other components that are disconnected. This discussion is for identifying and evaluating possible output structures. We would want to be able to store both branching to different incompatible assignments, as well as to components that can be assigned independently.

[OrigamiDraw]

I think the best visualization for most origamists would be an exploded view of the model in different states but that would be very difficult to implement. Short of that, I think cross-sections would be helpful. I made some for discussion #20 and would like to show them here too:

Using such cross-sections, most users should be able to specify additional constraints that would solve the CP.