Initialization Checker performance

[wmdietl]

See how many times createUnderInitializationAnnotation creates new AnnotationMirrors:

checker-framework/checker/src/main/java/org/checkerframework/checker/initialization/InitializationParentAnnotatedTypeFactory.java

Line 232 in 17ab5a6

public AnnotationMirror createUnderInitializationAnnotation(TypeMirror typeFrame) {

Some other code also looks quite tricky, e.g.

checker-framework/checker/src/main/java/org/checkerframework/checker/initialization/InitializationParentAnnotatedTypeFactory.java

Line 249 in 17ab5a6

while (path != null && enclosing != null) {

Do some performance monitoring, e.g. using https://github.com/eisop/checker-framework/blob/master/checker/jtreg/nullness/Issue1438b.java , and see whether some caching would have a meaningful impact.