The following long-awaited major features will be included in this release:

• FFI cheat code integration
• Fetching contracts over RPC
• Multicore fuzzing (moved to the next release to reduce the amount of changes)

This breaking release allows us to clean up some confusing naming in the interface. We also aim to do some straightforward bug fixes and usability improvements.