Removal of invariant checking methods.

A number of SequiturGrammar#check_xxxx were removed. The result is a
significant speedup of the algorithm.