Concurrent Miller-Rabin should use a buffered channel for results