Merge remote-tracking branch 'origin/eddie/write_xaiger_improve' into xaig_dff

diff --cc techlibs/xilinx/cells_sim.v
Simple merge

diff --cc tests/simple_abc9/abc9.v
Simple merge