A lot of people are producing virtual choir videos right now, but I suspect few use a process similar to mine. I use Audacity to edit the audio separately, then crop the input videos using a face-aware cropping script (which uses https://github.com/ageitgey/face_recognition), then generate a video grid using ffmpeg + xgrid.