This size-threshold flag is for both liberate-case and SpecConstr. Replaces -flibereate-case-threshold.