Added write_smt2 (only gate level logic supported so far)
Fixed off-by-one bug in "hierarchy -check" for positional module args