Added Cramer-Shoup implementation test (working)