DRN parser does not check validity of the model

[sjunges]

The DRN parser currently reads models that are invalid. For example, a model in which the outgoing probabilities sum to more than one is parsed without any exception. This behaviour is unwanted. In particular, speed should not be a main concern as the DRN parser is slow anyway.