According to Upgrade to R80.10 is blocked due to Pre-Upgrade Verification , CGNAT and NAT64 are supported in R80.20M1 and, I would venture a guess, in R80.20, but you would want to get an independent confirmation.
I recall that the Hairpin NAT was supported as well. Here are some references to that:
Checkpoint Firewall NG hairpin NAT | GTKC Knowledgebase
EIM would probably equates to https://community.checkpoint.com/thread/8364-httpmapped-usage referenced in the discussion at the link.
ALG, I think, is more of the F5 province, but perhaps someone else could give you a better idea.
Try running these questions by your CP sales rep. He has the resources (and incentive), to get the right answers from the right places:)