证书和独立oracle[#106]

certificate replay: #t

这里的replay检查记录的每一步是否符合规则。测试还用独立实现的多项式解释器核验向量分量结果；它不复用生产规则，因此能发现生产规则和生产证书验证器共同犯错的情况。