By default the Vero 4K appears to currently output 10 bit content in 8 bit (with HDR content output 8 bit HDR)
To get it to output 10 bit stuff without truncation, SSH into your Vero 4K (default login and password are osmc)
Then type :
echo “444,10bit” | sudo tee /sys/class/amhdmitx/amhdmitx0/attr
sudo service mediacenter restart
and Kodi will restart and 10 bit content will no longer be output at 8 bit
I’ve confirmed this with an HD Fury HDMI Vertex which reports the HDMI signal format of what it is being fed.