Add '--release=...' option to version_check.sh script so it can check specific URELEASE only