1.18.0

What's Changed

Bugfixes

• Bug-Fix: Pass verbosity to the harness and sandbox by @tzaffi in #371

New Features

• StateProofs: Add State Proof support. by @winder in #360

Enhancements

• Enhancement: Use Sandbox for Testing by @tzaffi in #363
• Enhancement: Deprecating use of langspec by @ahangsu in #367

New Contributors

• @tzaffi made their first contribution in #363

Full Changelog: 1.17.0...1.18.0