Add _defaultdumprng for _GLOBAL_RNG

shouldn't really be necessary but I don't like that it doesn't exist

and also it not existing adds yet another weird error message that confuses students e.g. if you try to use a SaveCallback on a quick example script (there is a precedent — at least one student has already been unneccesarily confused)