TOR-004 Pen-torproject#4: assert statements in code flow

and instead check in other ways the variable are what they are supposed to be, because the asserts will be ignored when the interpreter is in optimized mode