Add spec annotations to mandelbrot kernel.