fix: resolve KANI Formal Verification workflow startup failures

The 'KANI Formal Verification' workflow was failing at startup due to invalid
dynamic output names in the GitHub Actions configuration. Output keys must be
static strings, not expressions with matrix variables.

- Remove dynamic output name: asil-${{ matrix.asil_level }}-status
- Add static outputs: verification-status and asil-level
- This should resolve the consistent startup_failure status for this workflow

The other workflow 'Formal Verification with KANI' is working correctly.

Author: avrabe

.github/workflows/kani-regression.yml

@@ -77,7 +77,8 @@ jobs:
 
     timeout-minutes: ${{ matrix.timeout }}
     outputs:
-      asil-${{ matrix.asil_level }}-status: ${{ steps.verify.outputs.status }}
+      verification-status: ${{ steps.verify.outputs.status }}
+      asil-level: ${{ matrix.asil_level }}
 
     steps:
     - name: Checkout repository