rand/rand.c: More dynamic assertions converted to use `STATIC_ASSERT'.