Use a redis lua script for release, instead of WATCH