SERVER-8060: make min/max key consistent with spidermonkey