transactions: make transactions counter a Transaction class attribute, update tests to become independent of transactions counter start value