Docs: remove duplicate label
Dependencies: Randomized testing version bump