Added "yosys -X"
Added global yosys_celltypes
Less verbose ABC output
Added statehash to ezSAT