OIG1736 is a 22 year old S500L which won't sell for £10k, even if it wasn't clocked. (Low mileage W140 S500's ten years older than this struggle to reach five figures)
This isn't "do nothing."
What has been done, successfully, is the introduction of an MoT history database, an online Service history database, electronic service logging within the car, and a range of websites such as HPI, which will report and highlight anomalies.
To "do more," there would be a burden of proof / evidence to ensure that crooks couldn't undermine a car's history and value by creating false higher mileage claims with the objective of damaging records and values.
With every additional bureaucracy, the cost and administration needs to be appropriate. (We live in a country where 750,000 cars are still rolling round our streets untaxed because we "can't afford" the bureaucracy to chase their annual tax payments.)
And, in the meantime, all the car manufacturers upgrade their anti-clocking devices with each new model release.