I should note that, while quantization is often associated with fixing mistakes in performances, that is neither my interest, nor I suspect Adrian's.
Rather I'm interested in taking a representation of a performance and non-destructively calculating a quantized version to both answer questions about this quantized version (e.g. tempo and tempo changes) and also analyze style (in much the same way as Czerny is intended to help with, albeit in the presence of a score in the Czerny case).