Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra