add randomized testing dependency
add randomized junit test suite for checking if user transaction is correctly  routed to transaction manager.