v3.2.4

• added plugin boolean_influence that enables calculation of the boolean influence for each FF depending on the predecessing FFs
• extended the z3_utils plugin with a z3Wrapper class, which holds exactly one z3::expr and the corresponding z3::context
• removed the code coverage checks from the macOS pipeline and added test command, so the macOS pipeline will work again properly
• fixed a bug in DANA, where sometimes the net names were output in the DANA results instead of the gate names