T6412: CGNAT fix allocation calcluation for verify (#3585)

Fix external address/port allocation for CGN.
It fixes some cases where external address/ports can be allocated again
to another user.