update 4.0 release notes to reflect the removal of auto explain.

I think we should add the removal of auto-explain as a notable change.