Separate Your Domains: NIST PQC KEMs and Pitfalls in Implementing Random Oracles