Divide-and-conquer verification method for noisy intermediate-scale quantum computation