Text this: Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence