Hey Robert, If you want to use your new Propeller PCB to control the Mecanum robot, I’ve got code that could make it easier.
I understand trying to use four quadrature encoders with an Arduino can be challenging.
If you do what to use my code, let me know. I’d be glad to help with a SparkFun demo.