>Why would constant propagation need a PhD level proficiency to implement?

This is false premise or one of those other ones - constant prop might not be complex but constant prop isn't in the top 20 perf codegen relevant passes.