Fix flaky DefaultRandomValuesTest