Reorder timing in transduction

[MyskYko]

We apply reordering while and after constructing BDDs for all the nodes in the circuit.
Alternatives:

• Apply reordering only for the BDDs of POs. We can construct them using Aig2Bdd before everything, and keep the order for the rest of transduction.
• Apply reordering while and after constructing the BDDs of permissible functions. We may turn off reordering after the initial run, or run it occasionally after, but it would take time.