Add more documentation for random-checking.