Show errors in multiple files during the same verification pass

It would be great to display multiple errors simultaneously in the same folder.
```
|- SocketRefinements.java
|- IncorrectTest1.java  <-- error showing
|- IncorrectTest2.java <-- error not showing, but could be
```

We need to think about the needed changes in the verification to make this possible.