Add asserts and traces to p_vector_traverse functions.