Add reachability check

[mhhollomon]

Add a check that all rules and terms are reachable from the goal rule.