#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.