Sigh.
Having double checked my settings, I checked that I had stock control enabled. It was indeed enabled in WooCommerce, but I thought I’d click save anyway – just in case.
Lo and behold, suddenly it starts working again, even though I didn’t change anything. Seems like a weird bug in WooCommerce.