Add write_xaiger into CHANGELOG