Activate verify by default with Maven and skip valid invocations on super method

Closes gh-770

Author: sdeleuze

spring-aot-maven-plugin/src/main/java/org/springframework/aot/maven/AbstractBootstrapMojo.java

@@ -88,7 +88,7 @@ abstract class AbstractBootstrapMojo extends AbstractMojo {
 	private boolean removeUnusedConfig = true;
 
 	@Parameter
-	private boolean verify;
+	private boolean verify = true;
 
 	@Parameter
 	private boolean removeYamlSupport;

spring-aot/src/main/java/org/springframework/nativex/type/AtBeanMethodInvocationDetectionVisitor.java

@@ -101,10 +101,13 @@ public void visitMethodInsn(int opcode, String owner, String name, String descri
 			if (ownerType.isAtConfiguration()) {
 				boolean isAtBeanMethod = ownerType.isAtBeanMethod(name,descriptor);
 				if (isAtBeanMethod) {
-					if (methodsUsingGetBeanCalls == null) {
-						methodsUsingGetBeanCalls = new ArrayList<>();
+					// Filter out valid super.myAtBeanMethod() use cases
+					if (!name.equals(methodName)) {
+						if (methodsUsingGetBeanCalls == null) {
+							methodsUsingGetBeanCalls = new ArrayList<>();
+						}
+						methodsUsingGetBeanCalls.add(methodName);
 					}
-					methodsUsingGetBeanCalls.add(methodName);
 				}
 			} else {
 				super.visitMethodInsn(opcode, owner, name, descriptor, itface);