better type checking on FakeRedis.zadd and fixing race condition in WindowManager