Without the hard fork, I don't believe you can detect block witholding. auditibility with ecash blinded signatures is a good next step.