UCT max_tree_size: Lower the default to 1.4GiB; adjust and polish README