Support for IntelliJ IDEA plugin

[ndkoval]

We need to support replaying interleavings in the model-checking mode for the in-development IntelliJ IDEA plugin.

Subtasks:

• [ ] Rebase on develop when javaagent is merged 1d
• [ ] Cleanup 1d
• [ ] Track method calls 2d
• [ ] Review 1d