As far as I can tell, it should be easy to measure the angular velocity of the motor by triggering interrupts on an Arduino directly from one of the Hall sensor leads to the controller. I'm wondering why this is not one of the standard ways of doing it (or if it actually is)?