Add PublishAot and PublishTrimmed as ways to enable verification

Co-authored-by: sbomer <[email protected]>

Author: Copilot

docs/core/deploying/native-aot/warnings/il3058.md

@@ -14,7 +14,7 @@ A project has `<VerifyReferenceAotCompatibility>true</VerifyReferenceAotCompatib
 
 ## Rule description
 
-When you enable AOT analysis with `<EnableAotAnalyzer>true</EnableAotAnalyzer>` or mark your project as AOT-compatible with `<IsAotCompatible>true</IsAotCompatible>`, you can optionally enable verification that all referenced assemblies are also annotated for AOT compatibility. This helps ensure that all dependencies in your project are annotated for AOT compatibility.
+When you enable AOT analysis with `<EnableAotAnalyzer>true</EnableAotAnalyzer>`, `<PublishAot>true</PublishAot>`, or mark your project as AOT-compatible with `<IsAotCompatible>true</IsAotCompatible>`, you can optionally enable verification that all referenced assemblies are also annotated for AOT compatibility. This helps ensure that all dependencies in your project are annotated for AOT compatibility.
 
 To enable this verification, set the `VerifyReferenceAotCompatibility` property to `true` in your project file:
 

docs/core/deploying/trimming/trim-warnings/il2125.md

@@ -14,7 +14,7 @@ A project has `<VerifyReferenceTrimCompatibility>true</VerifyReferenceTrimCompat
 
 ## Rule description
 
-When you enable trim analysis with `<EnableTrimAnalyzer>true</EnableTrimAnalyzer>` or mark your project as trimmable with `<IsTrimmable>true</IsTrimmable>`, you can optionally enable verification that all referenced assemblies are also annotated for trim compatibility. This helps ensure that all dependencies in your project are annotated for trim compatibility.
+When you enable trim analysis with `<EnableTrimAnalyzer>true</EnableTrimAnalyzer>`, `<PublishTrimmed>true</PublishTrimmed>`, or mark your project as trimmable with `<IsTrimmable>true</IsTrimmable>`, you can optionally enable verification that all referenced assemblies are also annotated for trim compatibility. This helps ensure that all dependencies in your project are annotated for trim compatibility.
 
 To enable this verification, set the `VerifyReferenceTrimCompatibility` property to `true` in your project file: