20x speedups in load_stl_binary and merge_vertices