#853 CIF to CIF transformer performs annotation post-checks on specification without component definition/instantiation

• Best to review per commit.
• Changes:
  • Fixed the issue.
  • Robustness assertion to make sure it doesn't happen again.
  • Added a test model that failed before.

Closes #853 (closed)