This commit fixes a bug in the way txCount was used for detecting and
aborting empty blocks. Previously, txCount was incremented immediately
after popping off the new transaction but before it is executed. This
was incorrect, as the transaction can still be rejected for nonce/gas
errors later on. Instead, we modify the logic only count transactions
that are successfully added, and utilize the existing w.current.tcount
member to implement the detection.