ensure_valid_pd: Ensure that the parse data is valid
Description
Test whether all non-terminals have at least one child and throw an error
otherwise. As this is check is rather expensive, it is only
carried out for configurations we have good reasons to expect problems.