Add SAWScript generating AIGs for timing equivalence checking.
Add SAWScript generating AIGs for timing equivalence checking.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script