Can you add some laws directly checking our goal: something like an optimized plan should have cost <= a random equivalent plan?

This requires a function to generate a random equivalent plan, but I think it is worth it.