Constant configuration updates

made CompassUT constant max_considered_before_found configurable made state argument to SequenceVisitor::set_arguments_size const