Removes synchronized from TxManager.getNextEventIdentifier()

Changes TxManager.eventIdentifierCounter from an int to an AtomicInteger. This
 removes the unnecessary synchronized and allows threads that just want to start
 a tx to not block on threads committing.