Is Charoset a mitzvah to eat or not? What is the symbolism behind Charoset?