SHA-1 circuit correctly implemented (error was in adding y1 constant at
each round instead of respective y constant). Implementation of
BooleanCircuit changed and documentation updated.