PHP 7.3.1 should be fine. We did at least confirm through building it from source a few weeks back that the original bug that concerned us has been resolved, though we haven't had a chance to test any more recent changes.
That said, it doesn't actually look like PHP 7.3.1 has been released yet. Where have you seen this?