Added profiling information to measure the number of txns that get spec execed per distributed txn