Added some load tests for TLA+ specifications
Merge branch 'develop' of git@github.com:bendisposto/prob2.git into develop