Only pass normalizable type to ``prove_normalize``

As per the comment here: https://github.com/rust-lang/a-mir-formality/pull/200#discussion_r2281486848

We should also rename ``prove_normalize`` to ``normalize_alias`` at the same time.