No, we should not introduce yet another attribute there. If you think that getting such info from hibernate is good idea then make it default but if attributes (user-transaction and transaction-manager) are given then use those.
My main argument for having only attributes of the configuration was to keep it on binding time. Perhaps you could modify the patch to read hibernate settings on binding time as well. I think that would be more consistent and easy to trace.