Merge pull request #236 from regehr/limit-lhs-size

give souper an easy way to avoid triggering degeneracies (mostly in K…