prototype verification finished

all but LIV are working.

LIV is not working because the numerical instability of the LLR(yTilda,
pHat)

Also, the LLR needs optimization.

Need unit test

Need more error catching and performance monitoring

Need parallel

Need to accomendate the case where X and Z have joint set