ExactCovers: implement counting of covers and insert version guard. (Not 0.4-ready.)