This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems