1. Some freezes are fixed in the 1.4 branch. There are no progress display functionality yet.
2. Ivy is packed into main-kts because it is easier to make a compact fat jar out of it, but in general it is considered that the maven/eather is a more "standard" implementation, therefore it is used for the default resolver lib. It is quite easy now (with 1.4 API) to make a separate resolver lib based on ivy (mostly by extracting things from main-kts), but I doubt that we will provide it along with the maven implementation now, because of the maintenance costs.