Se na definição de um projeto sei que agência terá no máximo 4 bytes e conta no máximo 7 bytes, isso só poderia ser tratado como uma regra no Exception?
public ContaCorrente(int agencia, int numero)
{
if(agencia > 9999)
{
throw new ArgumentException("O argumento agencia não pode ser maio que 9999");
}
if(numero > 9999999)
{
throw new ArgumentException("O argumento numero não pode ser maior que 9999999.");
}
}