Congruence quasi-orderability in subtractive varieties