CI: compile examples and verify binaries validity #35
Description
It's nice to have examples to be compiled in CI. The CI should compare the difference between the built contract's binary and the one in the res folder. Having this will allow verifying that examples' binaries are up-to-date.