Bump version to 8.4.2-dev