remove normalize_proj_nodes, Projs aren't in the wrong place anyway (or the verifier...