I've ridden both. I prefer velcro because laces inevitably get caught in the drivetrain during an inconvenient moment. This is a safety issue, but if you're pedaling hard, you can totally rip the laces apart making them hard to tie.

No matter what kind of shoe you ride, the top part stretches some. The practical difference between laces and velcro is nil in terms of efficiency.