Checks that a new version of a LibrarySpec keeps stored programs readable (prompt.md, section 3.2): props of components, functions and actions are only added at the end, never moved or removed, and a new required prop carries a default.