The answer is ... maybe. Depending on where in the stroke the belt slipped, you could have had some valve to valve contact. Even just a small nick is enough to cause issues. Have a leak down test done to see if all the valves are sealing properly. Good luck.