Refactor: added Game assertions
Refactor: Removed GameTree::get_max_depth
Refactor: removed obsolete todos
Refactor: adjusted GameTree assertions
Refactor: adjustes ChoiceTree assertions
Refactor: forgot some variables in ChoiceTree::op==
Refactor: removed unimplemented declaration
Refactor: adjusted Generator assertions
Refactor: assertions in generate.cpp
Fix: assertion failure due to rounding error