Bump version to 0.25.2-dev