write_xaiger: be more precise with ff_bits, remove ff_aig_map