v2.7.0

Bug fixes:

• Fix unsoundness in incremental solving involving theory combination (introduced in 2.6.0).
• Fix unsoundness in handling nested arrays.
• Fix bug in one of the constructors of FastRational.

New features:

• Experimental support for unsat cores.