Ok after seeing other angles it wasn't a dive. I saw this replay live, and it still looks pretty divey to me. Also what the ref woul've been looking at:
https://twitter.com/user/status/1136826863316295682
But this angle shows that it likely should've been a penalty.
https://twitter.com/user/status/1136825714198679553