Redmi Note 15 Pro and Pro+ bring IP69K toughness and a 200MP camera that actually works, but HyperOS moves like it’s stuck in treacle.