Bump version to 0.25.3-dev