Procore beat sales estimates and rolled out AI features, while a $300 million buyback shows management’s optimism on future growth.