Factor out element_vertex_map from templight_trace

It is moved to templight_trace_builder
find_vertex's complexity increased from O(log N) to O(N)