Remove the split_deepen tuning parameter, replace it with something a
little flexible, but private to the source code. (I have no idea how to
tune deepen-splits yet, there's no reason to surface a guess.)
lint
lint