minor fix in the Core.php Extension

A small fix in the "twig_random" function of the "Core" Extension.
We should use "!==" instead of "!=" since it's better and faster in this case.