Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms (Logical Methods in Computer Science, 2022)