Release v0.8.25 (#1232)

diff --git a/version.txt b/version.txt
index fee5b02..ff6d31b 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-v0.8.24
+v0.8.25