Certificates and Fast Algorithms for Biconnectivity in Fully-Dynamic Graphs