I work on Synonyms at Google. We're constantly tweaking our algorithms. It's possible that at one point one tweak made us more aggressive with replacing "verse" with "vs", but then later another tweak made it less aggressive. :-)