コードの上ではvirtual指定された関数は多態である可能性を示すよりむしろ
現時点のコードで多態であることが確定していることを示すんだから付けない方がいいんじゃないかなぁ
それにあるクラスの全メンバにvirtualを機械的に付けるより不要なvirtualキーワードを取り除く方が難しいし