Make RNGType configurable
We had the idea of making the RNG user configurable. This can be easily obtained via making the RNG a template parameter of the Config class, with suitable default setting.
We had the idea of making the RNG user configurable. This can be easily obtained via making the RNG a template parameter of the Config class, with suitable default setting.