Renamed max_nonterminal_length into max_nonterminal_span

Renamed for both the options and for the variables inside the code.