Android Config Changes

Frontend/android/app/build.gradle.kts

@@ -55,6 +55,11 @@ android {
             // TODO: Add your own signing config for the release build.
             // Signing with the debug keys for now, so `flutter run --release` works.
             signingConfig = signingConfigs.getByName("release")
+	    isMinifyEnabled = true
+            proguardFiles(
+            	getDefaultProguardFile("proguard-android-optimize.txt"), 
+            	"proguard-rules.pro"
+        	)
         }
     }
 }

Frontend/android/app/proguard-rules.pro

@@ -0,0 +1,5 @@
+# R8/ProGuard rules to prevent removal of necessary Facebook Infer annotations
+-keep class com.facebook.infer.annotation.** { *; }
+-keep interface com.facebook.infer.annotation.** { *; }
+-dontwarn com.facebook.infer.annotation.Nullsafe$Mode
+-dontwarn com.facebook.infer.annotation.Nullsafe