Enable decomposing of multiple regions in a single iteration.
Fix picking of the largest-volume undecided region during threshold synthesis.