AIG constructor/assignment operator cleanup.
Small changes and improvements.
Bug fix in AIG::copy_from.
Added rudimentary simulation support.
Merge updates from master into sat branch.