My mom made this pork chili verde recipe when I was growing up, and now I do too. Her smart shortcut? Using green enchilada sauce as the base.