Updated circgen with explainatory comments. Added a hard coded definition of Bob and Alice's inputs so that when people use this as an implementation model they will be able to be agnostic towards circuit input sizes during circuit construction.