Performance: test `NoContractsFromMethod`

[wmdietl]

I think OPSC does not currently use method pre- or post-conditions.
It would be interesting to know what the performance impact of disabling contracts would be on the large benchmark.

eisop/checker-framework#878 makes it easy to disable method contracts.
Could you try using that, by adding something like:

  @Override
  protected ContractsFromMethod createContractsFromMethod() {
    return new NoContractsFromMethod();
  }

to your AnnotatedTypeFactory?

[thomaskirz]

Thank you very much, I will try this!

[thomaskirz]

Until now, the only change I've made that significantly improves the compilation time is bypassing the Constant Value subchecker, from around 28 minutes to 18 minutes on our server.
We need it to determine the SQL string values and the column indexes in get/set calls, so I don't think there is anything we can change there...