Remove irreproducible bigswitch bugs