Rename and improve: CheckTrustyNanopub