Tutte computation uses decomposition

- generic TuttePolynomial methods now have requirement IsConnected, new generic method calls DirectSumDecomposition
- DirectSumDecomposition sets IsConnected for its component minors