Concuerdo con EdePC. La explicación está muy bien, pero desde el inicio parece lógico y claro que no es necesario poner un if con una condición sobre cuando acabar el while, si dicha condición se puede poner en la condición misma del while.

Creo que lo ideal sería que el programa no esté mirando a cada milisegundo si se tocó Enter o no, sino que quede detenido hasta que se presione Enter, pero eso parece imposible. Por ejemplo, el sistema de una linterna, supongo, no es que esté chequeando a cada milisegundo si se está presionando un botón o no, nada hace, pero cuando se apreta eso activa algo. Pero un programa creo que no funciona así...

De eso se trata, que al menos no se satura todo el rato con un bucle. Se trata que espere que pulse Enter y sales de ahí.

En cuando al Console.Readkey(); Espera que pulse cualquier tecla y sigues. Es como el PAUSE del archivo bat o cmd.

Si, es correcto ese código porque el condicional al no tener ninguna instrucción a ejecutar, entonces lo ignora y sigue con las demás líneas del código, ésto es igual en otros lenguajes a usar pass, que significa que el programa no hara nada y seguirá su paso/ejecución.