Add a 'verified' / 'safe' checkmark next to transformations that have been proven / verified to preserve semantics