$random is never used within our JS builtin code.
Review URL: https://chromiumcodereview.appspot.com/10166003

git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@11400 ce2b1a6d-e550-0410-aec6-3dcde31c8c00