* handle behavioral Clafer models gracefully

* Release 0.5.0

* upgrade to LTS-12.26 (GHC 8.4.4)

* add WISE Lab

* upgrade to GHC-9.6.4 and lts-21.9

* derive MonadThrow, MonadCatch, and MonadMask required by InputT constraint

* run test builds before testing

* save to json when --json and --all are both provided

* LTS-21.11

* fix release PR number