Rather than having a PacksetGraph to simply check cycles, we can make the graph an output, which can eventually be checked for profitability (cost-model) and then "applied" (i.e. what we do int SuperWord::output, replace scalars with vectors).

This will allow more flexibility going forward.