Comparison probability (legacy compatibility path)

Third-edition-numbered compatibility path for the comparison-probability development. The canonical fourth-edition source is CLRSLean.FourthEdition.Chapter_07.Section_07_3_Randomized_Quicksort.Comparison_Probability; this module forwards to it so legacy imports keep working during the compatibility period (see docs/migrations/clrs4.md).