Use ClassReader.EXPAND_FRAMES as dictated by the AnalyzerAdapter documentation

[eupp]

In LincheckJavaAgent, use ClassReader.EXPAND_FRAMES as dictated by the AnalyzerAdapter documentation:

public class AnalyzerAdapter
extends MethodVisitor

A MethodVisitor that keeps track of stack map frame changes between visitFrame(int, int, Object[], int, Object[]) calls. This adapter must be used with the ClassReader.EXPAND_FRAMES option.

https://asm.ow2.io/javadoc/org/objectweb/asm/commons/AnalyzerAdapter.html