When I run format, and select disk 0, I'm told c4t0d0s3 is part of the root pool:
Isso seria porque você estragou a fatia - ela está sobreposta com c4t0d0s0
. Você precisaria de uma fatia começando no cilindro 3913 para remover a sobreposição. Então você deve ser capaz de adicioná-lo como um vdev para outro pool (se é isso que você está procurando).
Se você quiser apenas redimensionar seu conjunto raiz para usar todo o espaço disponível, inicialize um CD ativo, edite as fatias raiz e de backup de acordo para ocupar o disco inteiro e reinicie o sistema - seu zpool deve se adaptar automaticamente. Caso contrário, tente alternar a propriedade "autoexpand" do rpool.
Outras leituras: link