Implement Final Polynomial Identity Test

[shramee]

At the end of the pairing verification, enforce the final constraint: e_acc = Q_acc(x) * P_12(x)[cite: 321, 616]. Also verify that the final remainder R is exactly 1[cite: 550].