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 <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]>