A afirmação de tipo em Go é verificada em tempo de execução ou durante a compilação?