Stav dette: Rigorous Analysis of Routing Protocols Using Game Search