The usage of the -max-image-split-study of SimpleTiming states that it
tries doubling the max split. For some reason I implemented it by
multipling by the magic k value each time. Change it so it actually just
doubles the max image split and does a more complete search.