#951 Upgrade to JavaBDD 9.0.0 + update CIF/BDD and synthesis for BDD.pathCount/satCount returning a BigInteger

• Best to review per commit.
• End-user visible changes:
  • CIF data-based synthesis 'BDD debug max paths' option now supports any non-negative integer value (however large it is), and the value may no longer be entered as a real values (e.g. no more 1e38).
  • CIF controller properties checker and CIF data-based synthesis now have improved numbers for the number of states in the controlled system, and the number of true paths in the debug output of BDDs for large predicates. They indicate more precise numbers for larger BDDs, and no longer indicate wrong numbers for very large BDDs. This comes at the cost of computing these numbers taking longer, and the cache for computing these numbers requiring more memory.
• Other changes:
  • Upgrade to JavaBDD 9.0.0.
  • Add BigIntegerOption.

Closes #951 (closed)