v1.0.7

What's Changed

• fix: error reporting for conflicting contexts by @DavePearce in #788
• feat: improved error reporting for range and lookups by @DavePearce in #789
• feat: support column widths in json trace format by @DavePearce in #790
• fix: bitwidth calculation for range constraints by @DavePearce in #792
• fix: trace reporting by @DavePearce in #793
• feat: support sorting in coverage command by @DavePearce in #794
• feat: support if-not by @DavePearce in #796

Full Changelog: v1.0.6...v1.0.7