Smart sampling

Implement support for the "smart sampling" approach of Sedwards et al. (https://doi.org/10.1007/s10009-015-0383-0) in lightweight scheduler sampling for simulation of nondeterministic models. This should be both for reachability probabilities as described in the original paper, plus a variant for expected-reward properties.