Text this: Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans