code clean up and fixed a bug in setup (missing a transpose of C to let the product of pairings work better
fixing bugs in encryption