Describir: Verifying Computations without Reexecuting Them.