Version 8.25.0 released

This is a minor update version with bug fixes and speed optimizations.

Changelog