upgrade randomized testing to 2.0.12