Release notes:
- updated to LLVM 12.0.1
- updated Boogie and Z3
- switched to main branch instead of master
- support for adding assertions after loops (to catch not unrolling enough)
- improved error trace generation
- cleanup of Rust panic
- bug fixes
Release notes: