Sort formal verification passlists (chipsalliance#1718)

Requires: chipsalliance#1716
Sorted using:
```
LANG=C sort -f -u -o formal/passlist.txt formal/passlist.txt
LANG=C sort -f -u -o uhdm-tests/opentitan/opentitan_parsing_test/ot-cores-passlist.txt uhdm-tests/opentitan/opentitan_parsing_test/ot-cores-passlist.txt
```
This PR also adds check to CI to make sure this lists are sorted.

Author: kamilrakoczy

.github/scripts/sort_passlists.sh

@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+
+set -e -u -o pipefail
+shopt -s nullglob
+
+declare -r SELF_DIR="$(dirname $(readlink -f ${BASH_SOURCE[0]}))"
+declare -r REPO_DIR=$SELF_DIR/../..
+cd $REPO_DIR
+
+files_to_sort_check=(
+    formal/passlist.txt
+    uhdm-tests/opentitan/opentitan_parsing_test/ot-cores-passlist.txt
+)
+
+for f in "${files_to_sort_check[@]}"; do
+    LC_ALL=C.UTF-8 sort -f -u -o $f $f
+done

.github/workflows/main.yml

@@ -61,6 +61,26 @@ jobs:
             emit-custom-branch-info-end
           } > $GITHUB_STEP_SUMMARY
 
+  style-check:
+    name: Style check
+    runs-on: [self-hosted, Linux, X64]
+    container: bitnami/git:2.40.1-debian-11-r4
+
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          fetch-depth: 1
+
+      - name: Sort check
+        run: |
+          ./.github/scripts/sort_passlists.sh
+          if ! git diff --exit-code; then
+            echo
+            echo "Sort locally using: ./.github/scripts/sort_passlists.sh"
+            echo
+            false
+          fi
+
   build-binaries:
     name: Build Binaries
     runs-on: [self-hosted, Linux, X64]