add support for smoothing structured decomposable circuits

[guyvdbroeck]

The current smoothing code will not respect a vtree.

[khosravipasha]

Also related to #19

After smoothing we get And gates with more than 2 children. I guess this would fix the issue, so will close the other issue.

Also might want support for propagate_constants with vtree.