Loom model checking

[The original issue](https://github.com/wvwwvwwv/scalable-concurrent-containers/issues/133)