Enable Spotless verification for Android Port and improve reporting

- Configured `spotless-maven-plugin` in `maven/android/pom.xml` to check `Ports/Android/src`.
- Updated `scripts/build-android-port.sh` to run `spotless:check` and report results.
- Applied Spotless formatting to existing Android port source code.
- Protected build server markers in `AndroidImplementation.java` from formatting.
- Updated quality reporting scripts to suppress missing report warnings and include Spotless results in the Android status comment.
- Ensured CI fails if Spotless verification fails.

Author: google-labs-jules[bot]

maven/android/pom.xml

@@ -46,6 +46,7 @@
                         <includes>
                             <include>**/*.java</include>
                         </includes>
+                        <toggleOffOn/>
                         <googleJavaFormat>
                             <version>1.17.0</version>
                         </googleJavaFormat>