Added an assertion to BinaryEngine::perm_vars() to check for correct variable list sizes.
BinaryEngine::init_vars() now initializes both arguments.
MultEngine::init_vars() now initializes its own variable list.