Report the toolkit version in the header

docs/articles/verify.md

@@ -67,6 +67,7 @@ The report is titled with the device name and opens with a header describing the
 - **Checked against** is the version of the specification used to verify the device, together with the reason when that is narrower than the version declared by the device.
 - **Specification** links to the specification documents as they stood at the revision behind the checks.
 - **Register set** names the generator package supplying the core register metadata, which fully determines the register set expected by the run.
+- **Toolkit version** identifies the build of `harp.toolkit` that produced the report, including its source commit.
 
 #### Report path
 ```ps1

src/Harp.Toolkit/Verify/Report.cs

@@ -16,5 +16,6 @@ public class Report
     public string ProtocolCommit { get; set; } = string.Empty;
     public string ProtocolCommitUrl { get; set; } = string.Empty;
     public string RegisterSetVersion { get; set; } = string.Empty;
+    public string ToolkitVersion { get; set; } = string.Empty;
     public List<SuiteResult> Suites { get; set; } = new();
 }

src/Harp.Toolkit/Verify/ReportTemplate.cshtml

@@ -50,6 +50,8 @@
                     <dd class="col-sm-8"><a href="@Model.ProtocolCommitUrl" target="_blank" rel="noopener">@Model.ProtocolCommit</a></dd>
                     <dt class="col-sm-4">Register set</dt>
                     <dd class="col-sm-8">Harp.Generators @Model.RegisterSetVersion</dd>
+                    <dt class="col-sm-4">Toolkit version</dt>
+                    <dd class="col-sm-8 text-break">@Model.ToolkitVersion</dd>
                 </dl>
             </div>
         </div>

src/Harp.Toolkit/Verify/VerifyCommand.cs

@@ -1,4 +1,5 @@
 using System.CommandLine;
+using System.Reflection;
 using Spectre.Console;
 using Harp.Generators;
 using Harp.Toolkit.Verify.Suites;
@@ -126,7 +127,8 @@ static async Task<int> RunVerification(string portName, FileInfo? reportFile, bo
             CheckedProtocolVersion = GetCheckedVersion(target),
             ProtocolCommit = ProtocolReference.ShortCommit,
             ProtocolCommitUrl = ProtocolReference.TreeUrl,
-            RegisterSetVersion = CoreSchema.Version
+            RegisterSetVersion = CoreSchema.Version,
+            ToolkitVersion = GetToolkitVersion()
         };
 
         int currentTest = 0;
@@ -240,6 +242,14 @@ static string DescribeAbort(TimeoutException exception, int completedCount, int
             "Rerun the verification once the device and the connection are stable.";
     }
 
+    static string GetToolkitVersion()
+    {
+        var assembly = typeof(VerifyCommand).Assembly;
+        return assembly.GetCustomAttribute<AssemblyInformationalVersionAttribute>()?.InformationalVersion
+            ?? assembly.GetName().Version?.ToString()
+            ?? "not reported";
+    }
+
     static string GetDeclaredVersion(ProtocolTarget target)
     {
         return target.DeclaredVersion.HasValue