Cogsworth: Byzantine View Synchronization.