Add byteman to run correctness tests

Use byteman (jboss.org/byteman) to instrument code and run tests with it. Can be used to test infrequent code paths, e.g. by imposing a predefined thread interleaving.