Integrating KingCheckFilter and fixing some discovered bugs in AttackGraph.

Also, unignoring testWhiteKingProtectionPriority.
Some clean-up.