v0.1.14: Migrate missing tests to kontrol (#48)
* Update foundry ref
* Set Version: 0.1.9
* Updatae expected files, fix lemma
* Add non-ported test files
* Set Version: 0.1.10
* add cheatcode functions and update expected kompile output
* Set Version: 0.1.11
* Set Version: 0.1.11
* Update forge version in test-pr.yml
* Set Version: 0.1.12
* Set Version: 0.1.13
* Set Version: 0.1.14
---------
Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Everett Hildenbrandt <everett.hildenbrandt@gmail.com>