Właśnie też jestem w podobnej sytuacji - mam OP3 i zastanawiam się czy zmieniać (a myślałem w sumie nad OP7 - wersją zwykłą, nie pro). Z jednej strony telefon działa i ma się całkiem dobrze jak na coś koło 3-letnie urządzenie. Z drugiej strony trochę mi się już przejadł.
Odnośnie alternatyw - MI 9 jakoś do mnie nie przemawia MIUI i te wszelakie rozwiązania z tej nakładki (jakieś czyszczenie pamięci i mnóstwo innych bajerów). Co do Pixela to w sumie z jednej strony zdjęcia może robić lepsze, ale chyba wydajność wypada trochę gorzej (nie wiem jak z problemami z początku produkcji - czy nadal występują, czy obecne pixele są wolne od wad).
Dla mnie osobiście najistotniejsze by było żeby telefon długo działał dobrze (płynnie, szybko, nie zacinał się po czasie, nie trzeba było wykonywać czyszczenia pamięci), żeby wsparcie producenta było przynajmniej 2-letnie (i najlepiej nie w stylu 1 aktualizacja na rok) i może wsparcie wśród developerów żeby też było (czasem pewne rozwiązania innych developerów lepiej się sprawdzają niż oryginalne - patrz gcam)
Z tego wszystkiego też się cały czas zastanawiam czy wymieniać coś co działa i nie sprawia w sumie problemów - rozum mówi, że po co skoro działa (jak się zepsuje to się będzie wymieniało), serce natomiast (i trochę wewnętrzny geek) mówi, że telefon już jest stary, już się trochę znudził i pora wymienić na coś aktualnego.