pub fn validate_radix_sort(original: &[u32], sorted: &[u32]) -> bool
Validate that radix sort preserves all elements as a multiset.