Rename `cmra_monotone_valid` into `cmra_morphism_valid`
Rename cmra_monotone_valid
into cmra_morphism_valid
(this rename was forgotten in !56 (merged)).
Rename cmra_monotone_valid
into cmra_morphism_valid
(this rename was forgotten in !56 (merged)).