The default task name is "Task-<counter>" (if no name is passed in during Task creation).
This is initialized in `Task.__init__` (C impl) using string formatting, which can be quite slow.
Actually using the task name in real world code is not very common, so this is wasted init.

Let's defer this string formatting to the first time the name is read (in `get_name` impl),
so we don't need to pay the string formatting cost if the task name is never read.

…ng the next counter at lazy name generation

…on into defer-task-name-formatting

…e the counter as PyLong for deferred formatting

…ally trigger the deferred name formatting logic