Certifying assembly programs with trails