feat: new implementation for type inference approach and variable declaration

BREAKING CHANGE: some parts of jadx was rewritten from scratch
  - type inference
  - variable declaration
  - `finish` block extraction

jadx-samples/src/main/java/jadx/samples/RunTests.java

@@ -65,7 +65,7 @@ public class RunTests {
 				msg = "not extends AbstractTest";
 			}
 			System.err.println(">> "
-					+ (pass ? "PASS" : "FAIL") + "\t"
+					+ (pass ? "PASS" : "FAIL") + '\t'
 					+ clsName
 					+ (msg == null ? "" : "\t - " + msg));
 			if (exc != null) {

jadx-samples/src/main/java/jadx/samples/TestStringProcessing.java

@@ -12,7 +12,7 @@ public class TestStringProcessing extends AbstractTest {
 
 	public void testStringConcat() {
 		String s = "1";
-		assertEquals("a" + s, "a1");
+		assertEquals('a' + s, "a1");
 	}
 
 	@Override