Se eu substituir todas asoperator new assinaturas que posso, pelo menos nas implementações que testei, vejo que os contêineres padrão chamam minhas versões substituídas para alocar memória.

Isso é garantido pelo padrão? Ou seja, seria ilegal para uma implementação usar uma versão otimizada que não chamasse minhas funções de substituição para a memória subjacente aos contêineres padrão?