Fixed SparseModelMemoryProduct with transition rewards and nondetermism

[tquatmann]

We currently require that the row grouping of the transition probability matrix is also present in the transition reward matrices.

Specifically, we assert that rewardMatrix.isSubmatrixOf(transitionMatrix) is true when constructing a model and isSubmatrixOf checks whether the row grouping is identical.