After upgrade to 9.0 many video files show yellow-green garbage instead of proper video. Audio is OK.
The problen is for sure with VOB and WMV, some AVI are also broken.
MKV is played fine.
All these files were played fine in 8.0+ version of Coreelec
My HW is Manix TX3 Max