I'm writing a motor controller that I intend to release in the future, but because of the interest in interfacing encoders lately, I've put together a small example that shows the best way I know to interface a quadrature encoder to the EDU robot controller. With this code, I've been able to track an encoder generating a few thousand counts per second. The code can be found here:
http://kevin.org/frc.
-Kevin