No método CompareTo da classe ContaCorrente, o retorno de 1 quando other é null serve para indicar que a instância atual (this) é "maior" que o objeto other. Isso segue a convenção do método CompareTo, que retorna:
Um valor positivo (geralmente 1) quando a instância atual é considerada maior que o objeto passado (other). Zero quando ambos os objetos são iguais. Um valor negativo (geralmente -1) quando a instância atual é considerada menor que o objeto passado.
Explicação no contexto
Se other for null, isso significa que this tem uma referência válida enquanto other não tem, então ele é considerado "maior". Retornar 1 faz o método respeitar essa convenção. Se other não for null, o método compara os objetos com base no campo Numero_agencia de ambas as instâncias.