PHP packages are dropping HHVM support right and left right now because HHVM has already been… lagging in its PHP support.

So there's not really a choice to make. HHVM was tiny anyway.