Yep, automatically deactivating Envato WordPress Toolkit when updating BPS Pro and displaying a message that Envato WordPress Toolkit has been deactivated since it contains coding mistakes that break BPS Pro is the way to go. Really what should happen is Envato WordPress Toolkit should fix their coding mistakes since Envato WordPress Toolkit will also break other plugins that make API connections. We don’t have the spare time these days to get involved with other projects or fix other broken plugins.