Couple notes, Peter (project lead) said something about PHP 7.3 being supported soon [my guess is next release].
I had some issues when I tried installing MySQL8 with PHP older than 7.1.16. You should not have the same problem with PHP 7.1.16+ or PHP 7.2.4+.
And while the FAQ doesn't mention it MariaDB is a viable alternative if you wish you get away from Oracle MySQL. But it isn't "official" per se.