#947 Upgrading to JavaBDD 8.0.0

Addresses #947 (closed).

This PR upgrades JavaBDD to 8.0.0, which contains saturation operations, among other improvements.

End-user visible changes:

• For CIF data-based synthesis and the CIF controller checker (BDD-based checks only): fixed an integer overflow bug, which may trigger while checking for the need to resize the node array, causing large node arrays to grow unnecessary.

changed milestone to %v5.0

added CIF TypeEnhancement + 1 deleted label

You can find the release notes of JavaBDD 8.0.0 at: https://github.com/com-github-javabdd/com.github.javabdd/releases/tag/8.0.0

approved this merge request

changed the description

I added the end-user visible change to the merge request description.

merged

mentioned in commit c87f4efe

added RelEng/DevOps label and removed 1 deleted label