Wok-Tossed Beef Tenderloin