Fix formatting CI

Before, spotlessJava and spotlessMisc would be run before spotless checks, so some changes could be applied before it checks formatting

.github/workflows/check.yml

@@ -21,5 +21,8 @@ jobs:
       - name: Check
         run: ./gradlew check
 
+      - name: Verify no formatting changes
+        run: git --no-pager diff --exit-code HEAD
+
       - name: Automated Sim Test
         run: ./gradlew simulateJavaDebug -PautomatedTest=true