Arjun v2.7.3

Arjun 2.7.3

• Adaptive interpolant-based repair (interp_repair) is now on by default, with clearer per-variable repair stats.

Cleanup & removals

• Removed SAT sweeping (FRAIG-lite) from the codebase.
• Removed the unate_def_rep synthesis pass and its options.
• Convert recursive AIG rebuild lambdas to iterative post-order traversal.
• Extensive dead-code removal, comment cleanup, and renames throughout.

Build fixes & misc

• Fix zlib download by fetching from the GitHub release instead of zlib.net.
• Update Nix flake inputs.
• Allow dynamic update of the DB.
• Cleaner Verilog output (reorder HTML, remove blank lines) + a ctest for blank-line output.
• README fixes.

Full changelog: release/v2.7.2...release/v2.7.3

What's Changed

• Development happens here by @msoos in #57

Full Changelog: release/v2.7.2...release/v2.7.3