ScalaCheck of optimized plans vs random plans