Agreed it is unfortunate that this claims divergence when it behave just fine under the assumption noted by Gianluca Gorni. The takeaway, nonetheless, is that helping Integrate with assumptions can be vital, both for correctness and speed (less time spent sorting out issues of convergence).
