@henningw - ok, new random generators are going to be done to 5.3 and then backported to 5.2 and 5.1.
But they are a different matter than the crash reported here and discussion here is too long to follow it over the time, if the issue needs to be revised for various purposes. If you really want to discuss more about PRNGs, better use sr-dev or create a dedicated issue.