0.5.7

Fixes a node duplicates bug in exists/for_all implementations. This bug did not effect the semantics of the result (i.e. computed BDDs are still correct), but under certain conditions, the result was not necessarily in the proper reduced form.