Passei o fim de semana a construir o programa migrador. Optei pelo Pinocchio, zero-copy, mantendo a superfície o mais pequena possível. A coisa toda é uma transação, que queima o seu token antigo e emite o novo. Se algo falhar, nada se move. Testado com Mollusk e Kani.