Rollup merge of #140402 - lcnr:normalizes-to-certainty-yes, r=compiler-errors

only return nested goals for `Certainty::Yes`

Ambiguous `NormalizesTo` goals can otherwise repeatedly add the same nested goals to the parent.

r? ```@compiler-errors```

Author: ChrisDenton