A few incrementality bugs have been fixed: one when removing the assertions from a parent class, one when checking inherited code that was actually changed. Improved the display of error tooltips to avoid annoying flashing. Fixed search that was not scrolling the content in some of the feature tool formatters. Various diagram tool enhancements. Added support for correcting mismatches when using the SED serialization clusters.