More bug fixes to handling of random numbers by CustomIntegrator