Horus-compile

What's Changed
* Remove annotation left after opting out by ElijahVlasov in https://github.com/NethermindEth/horus-compile/pull/59
* Updated PyProject File to make a release to Pypi registry by gat786 in https://github.com/NethermindEth/horus-compile/pull/60
* Verified commits check by ElijahVlasov in https://github.com/NethermindEth/horus-compile/pull/64
* Add nice error message for missing logical variable by ElijahVlasov in https://github.com/NethermindEth/horus-compile/pull/65

New Contributors
* gat786 made their first contribution in https://github.com/NethermindEth/horus-compile/pull/60

**Full Changelog**: https://github.com/NethermindEth/horus-compile/compare/v0.0.6.11...v0.0.6.13

What's Changed
* Add disclaimer by ElijahVlasov in https://github.com/NethermindEth/horus-compile/pull/57
* Edit disclaimer by ElijahVlasov in https://github.com/NethermindEth/horus-compile/pull/58


**Full Changelog**: https://github.com/NethermindEth/horus-compile/commits/v0.0.6.11

What's Changed
* Mark functions with `assert` in them as annotated by ElijahVlasov in https://github.com/NethermindEth/horus-compile/pull/51
* Add an error message for unexpected annotations by ElijahVlasov in https://github.com/NethermindEth/horus-compile/pull/52


**Full Changelog**: https://github.com/NethermindEth/horus-compile/compare/v0.0.6.8...v0.0.6.10

What's Changed
* Separate starknet-compile and horus-compile outputs by ElijahVlasov in https://github.com/NethermindEth/horus-compile/pull/50


**Full Changelog**: https://github.com/NethermindEth/horus-compile/compare/v0.0.6.7...v0.0.6.8

What's Changed
* Type error messages by ElijahVlasov in https://github.com/NethermindEth/horus-compile/pull/49


**Full Changelog**: https://github.com/NethermindEth/horus-compile/compare/v0.0.6.6...v0.0.6.7

What's Changed
* Pretty printing of MissingIdentiferError by ElijahVlasov in https://github.com/NethermindEth/horus-compile/pull/48


**Full Changelog**: https://github.com/NethermindEth/horus-compile/compare/v0.0.6.5...v0.0.6.6