reorder sections

put cargo sections together and at the bottom because they're less commonly used than the other options

Author: Carolyn Zech

kani-driver/src/args/mod.rs

@@ -357,19 +357,19 @@ pub struct VerificationArgs {
     #[arg(long, hide = true)]
     pub write_json_symtab: bool,
 
-    /// Arguments to pass down to Cargo
     #[command(flatten)]
-    pub cargo: CargoCommonArgs,
+    pub checks: CheckArgs,
 
     #[command(flatten)]
-    pub checks: CheckArgs,
+    pub common_args: CommonArgs,
 
-    /// Arguments used to select Cargo target.
+    /// Arguments to pass down to Cargo
     #[command(flatten)]
-    pub target: CargoTargetArgs,
+    pub cargo: CargoCommonArgs,
 
+    /// Arguments used to select Cargo target.
     #[command(flatten)]
-    pub common_args: CommonArgs,
+    pub target: CargoTargetArgs,
 }
 
 impl VerificationArgs {