Lavender-spiced pork medallions with green pepper sauce and dumplings