Contractions, Removals and How to Certify 3-Connectivity in Linear Time