Make subst-gen not require having all constraints bound.

Removing this requirement means that we can produce more minimal csets when adding expected csets in later changes.