Don't clear the lists of final regions if not necessary.
Enable decomposing of multiple regions in a single iteration.
Fix picking of the largest-volume undecided region during threshold synthesis.
In max synthesis, prevent the sample probability from descreasing. (Analogically for min synthesis.)
Display demarcation prob bounds as part of min/max synthesis solutions.
Curly curly.
Merge branch 'synthesis' into develop