Source/JavaScriptCore: Add Vector::reverse()