BinRel: bddCacheSize can be increase beyond bddMemSize/MEMTOCACHE, but not decreased.
Merge branch 'nwa_detensor' into nwpdsExperimental