Add the option to only count relevant variables

[haz]

This should ideally do two things:

1. Only return counts for the relevant set of variables (essentially projecting away the rest)
2. Stop the search prematurely when a component is satisfiable and only contains irrelevant variables.