Added grammar verification of undefined rules

Using rules that are not defined result in a silent error in PLY.
A verification phase allows PlyPlus to throw a meaningful exception.