Methods for validation of random uncertainty estimates and their applications to ozone profiles from limb-viewing satellite instruments | Synapse