Sailreval

What's Changed
* Verify numbers produced in pipeline verification by mahaloz in https://github.com/mahaloz/sailr-eval/pull/6


**Full Changelog**: https://github.com/mahaloz/sailr-eval/compare/v1.1.0...v1.2.0

What's Changed
* Fix a bug in bad angr importing by mahaloz in https://github.com/mahaloz/sailr-eval/pull/3
* Add a verification for users and CI by mahaloz in https://github.com/mahaloz/sailr-eval/pull/4


**Full Changelog**: https://github.com/mahaloz/sailr-eval/compare/v1.0.0...v1.1.0

What's Changed
* Remove builtin Joern, depend on PyJoern by mahaloz in https://github.com/mahaloz/sailr-eval/pull/2

New Contributors
* mahaloz made their first contribution in https://github.com/mahaloz/sailr-eval/pull/2

**Full Changelog**: https://github.com/mahaloz/sailr-eval/commits/v1.0.0