Insumos de benchmark (#24) precisam sair do mesmo build, antes do SHA256SUMS #48

Origem: revisão do PR #45 (spec 006, R5.5).

SHA256SUMS cobre todo arquivo do nível de cima da release e é gravado por último, dentro do diretório temporário atômico de namescommons build. Se os insumos de benchmark do contrato do tools-dataset (*.input.json e amostras, issue #24) forem gerados depois, por outro comando, SHA256SUMS fica incompleto e tools/release.sh verify recusa a saída.

• Na spec da Export deterministic benchmark inputs for catalog-algorithms #24, gerar os insumos dentro da mesma execução do build, antes de write_sha256sums (ou fazer o passo de insumos regravar SHA256SUMS e o script de release conferir de novo)
• Atualizar tools/release.sh (lista de obrigatórios) e o workflow conforme a decisão

Relacionado: #24.