Is there any reason CEC can't be implemented over DisplayPort?
There shouldn't be. DP already is a half-duplex, bidirectional AUX channel running at 1 Mbps.