Add documentation about --jsverifyRngState