v0.8.0

What's Changed

• Remove DiscreteDomain undefined behavior by @tpadioleau in #853
• Add an explanation about the multiple licenses by @tpadioleau in #859
• Include headers relative to -I by @tpadioleau in #675
• Add assertions when slicing by @tpadioleau in #860
• Update first_steps.md by @tpadioleau in #863

Full Changelog: v0.7.0...v0.8.0