Statement of the overall checker soundness and proved the first part (point...

Statement of the overall checker soundness and proved the first part (point checker soundness). The second part of the soundness theorem is yet to be defined and proven

Also, modified the realProofsScript with the equivalence between realPolyevalPoly and polypoly