Fixed zikaron by bringing back Redis-Namespace, which I think we should have anyway, and wrote a sanity-check spec