rename prev insertion to 'gnome-insertion', add true insertion sort, fix bug in best case generator, some minor style improvements