This patch fixes a seed issue in `DiscreteTimeStateTransitionModel`.