Bumps the number of heavy fuzz runs to 20k. 10k recently missed a
flake so bumping to 20k to try to avoid that in the future. Not
perfect but it will reduce the probability a bit. Developers can
still manually set the number of fuzz runs for a particular test
with annotations if 20k is too high.