检查计算证书[#98]

curl/grad 类空间计算都会保留可重放证书。当前散度计算 replay：#t

独立重放检查每个rewrite edge；测试套件另有独立的精确多项式解释器，用来避免只用生产规则验证生产规则。