Setting cuda random seed

[dsyme]

Comment from DIffsharp:

    // TODO (important): we need to do *both* this Torch.SetSeed and CUDA SetSeed when device is GPU. CPU seed and CUDA seed are handled separately in torch and libtorch.
    // However at the point of writing this comment, Cuda SetSeed was not available in TorchSharp

[dsyme]

@gbaydin - it looks like torch::manual_seed(seed); already does what we need here

https://pytorch.org/docs/stable/notes/randomness.html

You can use torch.manual_seed() to seed the RNG for all devices (both CPU and CUDA):