Add two TODOs about seeding the RNG.