Merge pull request #1535 from YosysHQ/eddie/write_xaiger_improve

write_xaiger improvements