Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor