L'affermazione di tipo in Go viene verificata in fase di runtime o durante la compilazione?