First question: I want to verify that although they share the same public IP, the port number attached to the public IP will be unique, correct?

Generally yes. This is what is usually desired from NAPT.
This would not be the case however if the router were configured to evict any previous port mapping when two different internal devices make a request to the same host:port pair. (Hopefully!) Nobody's home router is going to be doing that however.

Second question: I was reading about how Quake did its networking and it appears old routers would sometimes change a computers public port mid-game causing clients to no longer match their port stored on the game server. John Carmack ended up having to generate a "qport" (a random number at connection time) which would uniquely identify the client even if their real port changed. Is this still necessary?

Routers will occasionally refresh their forwarding tables so this is still required.
If, say, a router expires any port mappings that haven't been used for 5 minutes then a client that hasn't contacted your server for >5 minutes (e.g. the game is paused or there's temporary network drop) will consequently lose its port assignment and (potentially) be assigned a new external port the next time it generates traffic.

TL;DR The ultimate point of this post is to verify that I can reliably use a clients IP address and port to uniquely identify them on the server.

Yes but only for the duration of a short-term connection. Over long periods of time or between connections this is not reliable.

As a rule you cannot trust network devices and their vendors to implement standards correctly, or even in a predictable way.

To get reliable behaviour you are going to need to implement an application-level protocol over the top, I would suggest you generate a UUID on the client that it passes to the server when it first connects. The server can use that UUID to track the client reliably even if the client's IP address changes, or there's a network outage, or the router is rebooted, or the port mapping changes, etc.