Está confiando en & & cortocircuito seguro in.NET?

Sí. En C # && y || están cortocircuitando y por lo tanto evalúa el lado derecho solo si el lado izquierdo no determina ya el resultado. Los operadores & y | por otro lado no cortocircuitan y siempre evalúan ambos lados.

La especificación dice:

Los operadores && y || se denominan operadores lógicos condicionales. También se les llama operadores lógicos de "cortocircuito".
...
La operación x && y corresponde a la operación x & y, excepto que y se evalúa solo si x es true
...
La operación x && y se evalúa como (bool)x ? (bool)y : false. En otras palabras, x se evalúa primero y se convierte a tipo bool. Entonces, si x es true, y se evalúa y se convierte a tipo bool, y esto se convierte en el resultado de la operación. De lo contrario, el resultado de la operación es false.

(Especificación del Lenguaje C # Versión 4.0-7.12 Lógica condicional operadores)

Una propiedad interesante de && y || es que están cortocircuitando incluso si no operan en bools, sino tipos donde el usuario sobrecarga los operadores & o | junto con el operador true y false.

La operación x && y se evalúa como T.false((T)x) ? (T)x : T.&((T)x, y), donde T.false((T)x) es una invocación del operator false declarado en T, y T.&((T)x, y) es una invocación del operator & seleccionado. Además, el valor (T) x solo se evaluará una vez.

En otras palabras, x primero se evalúa y se convierte a tipo T y operator false se invoca en el resultado para determinar si x es definitivamente false.
Entonces, si x es definitivamente false, el resultado de la operación es el valor previamente calculado para x convertido a tipo T.
De lo contrario, y se evalúa, y el operador seleccionado & se invoca sobre el valor previamente calculado para x convertido a tipo T y el valor calculado para y para producir el resultado de la operación.

(Especificación del lenguaje C # Versión 4.0-7.12.2 Operadores lógicos condicionales definidos por el usuario)