Full marginal computation

[haz]

If we're in a form that allows for quick counting (e.g., d-DNNF), it would be useful to be able to compute the marginals (likelihood each proposition is true/false) for all variables simultaneously. Can be done by maintaining the relevant dictionary in the recursive call.