Enhancements to balancing, LUT mapping, and rewriting

[aletempiac]

This PR includes:

• Enhancements in LUT mapping: new area optimization round providing better quality, changed cut prioritization cost functions, dumping directly the k-LUT network with integrated inverter sweeping, support LUT mapping based on SOP or ESOP balancing
• Enhanced ESOP and ESOP balancing based on LUT-mapping: provides better delay and area results compared to previous implementation
• Enhanced ESOP and SOP generation and balancing
• Fix in AIG balancing due to structural hashing conflicts
• Fix in rewrite for depth preserving rewriting
• Increasing the support for sequential circuits incut_enumeration, lut_map, and depth_view
• Adding the methods substitute_node_no_restrash to aig_network, xag_network, mig_network, xmg_network, and fanout_view
• Adding the method replace_in_node_no_restrash to aig_network, xag_network, mig_network, and xmg_network

[codecov-commenter]

Codecov Report

Merging #616 (8a6276b) into master (fac58aa) will increase coverage by 0.09%. The diff coverage is 87.14%.

:exclamation: Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@            Coverage Diff             @@
##           master     #616      +/-   ##
==========================================
+ Coverage   84.18%   84.28%   +0.09%     
==========================================
  Files         178      178              
  Lines       24168    24893     +725     
==========================================
+ Hits        20346    20980     +634     
- Misses       3822     3913      +91     

Files Changed	Coverage Δ
include/mockturtle/algorithms/balancing/utils.hpp	100.00% <ø> (ø)
include/mockturtle/views/depth_view.hpp	89.90% <10.00%> (-8.10%)	:arrow_down:
include/mockturtle/views/fanout_view.hpp	94.06% <72.72%> (-2.20%)	:arrow_down:
include/mockturtle/algorithms/rewrite.hpp	80.00% <80.00%> (-0.41%)	:arrow_down:
.../mockturtle/algorithms/balancing/sop_balancing.hpp	90.62% <83.33%> (-6.94%)	:arrow_down:
include/mockturtle/algorithms/lut_mapper.hpp	85.75% <86.85%> (+2.32%)	:arrow_up:
include/mockturtle/networks/xmg.hpp	86.70% <87.50%> (+0.25%)	:arrow_up:
...mockturtle/algorithms/balancing/esop_balancing.hpp	94.26% <88.70%> (-5.74%)	:arrow_down:
include/mockturtle/algorithms/balancing.hpp	83.60% <91.93%> (+8.60%)	:arrow_up:
include/mockturtle/networks/mig.hpp	88.84% <93.33%> (+0.60%)	:arrow_up:
... and 4 more

... and 2 files with indirect coverage changes