> x264 has been one of the most heavily optimized encoders whose development was sponsored by many different organizations
No, it did not.
> whereas libvpx did not see the same kind of love and most of the work came from Google's employees.
You're getting your facts wrong: x264 was developed by a very small open source community, with at most 5 developers on it, on their free time, while libvpx got quite a few people from Chrome Media Team paid to work for years on it.
There exist other VP9 encoders, but all for specialized purposes.