Make RandomTestOrderSpec as property driven test to make sure RandomTestOrder works for all style traits.