Add assumption helpers and tests for subfactorial

The odd even logic is a combinatorial property and is true. Look for example [here](http://math.stackexchange.com/questions/705104/prove-number-of-derangement-is-odd-if-and-only-if-number-of-items-is-even).