fix: minor issues with dynamic properties (#1887)

fix: minor issues with dynamic properties (#1887)

* fix: actually check if a property can be dynamic

* fix checking of cardinalities

We were checking only labeled properties, and so missing any more complex
property.

* fix: test property exporting to TOML

* Fix dependencies

* Update index before `alr search`

* test for static expressions enforcement

* test for enforcing singleton properties

* Test for conditional test export

* Change Pragma Assert into our own Assert procedure

* Deprecate license arrays taking advantage of the new checks

* Test both table and array test

* Test rejection of license arrays