If it makes you feel any better, IINA ships with x264, dav1d, and libbluray ;) Speaking as someone who works on IINA, the team behind VLC is excellent and I'm very thankful for the work they do.