Quotient tests and random walks in computational group theory